SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  _9tL ] Card_Number_Partitions:threads=4elapsed=2.430cpu=8.568gc=0.096factor=3.537zXZִF! N]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ KxZ@ )Z3VMACib[Xoz+p)A{U]ߔ.H26#-7=LGHbԲ\.p]tJ $[7irQ31AZF]hzri۾OJnWX$DZ%KOn8sn&1)P"o)5(j nS#IgYZ7zXZִF! r]ŗXiɟy<C{ٞğ3 H&rAre"RHk]lSnV ^f@ȿ-JWG*b惸(t ܠ^L:1b]:JgYZ7zXZִF! # ]ŗXi%Gة"̥zۦ]G%ka̎2V oQZ 8Ϲr z:$PL*2HxX5 ⅷϭ0puJI~E͛ QnD?E8T F|ǵ4mio)r0b ^ZbZJ9F,hs~dz笜dA˒-̼σ0H͛eEd3ɖ˴litvrdx?Gj+w_}!Jk=%XnC=rM6vr6\~8;=mڏT٣Sg>m `a;t8UEPfxF'*'Rl!\`48an.Bj2Hj4hl>Ѿ5%k}jyF,XNnkm$(q+;{Ikn1D0).>qb'n_Gs hq7 JY)- v4wK!+Km9Xv#+ *OaB?w|L)Ɵ;z8*[ G)xgYZf502879ae1ba56c6dcf35735e73666018badebc04e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 9 Card_Number_Partitions