SQLite format 3@ .  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  S9lt\ ] Card_Number_Partitions:threads=4elapsed=2.611cpu=8.404gc=0.072factor=3.227zXZִF! ]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ K<tdx21"GJR+ 85Jhͳe@! Eᅨ֍xl@[h\ wz I Je뒼lxپV[T]bDgvaEWFQ5́zl|N4D+|K˜EC{G.$> ^gYZ7zXZִF! r]ŗXiɟy<C{ٞğ3 H&rAre"RH7r$yGĕUT\#o vICTݴv_BkGx:JgYZ7zXZִF! !8%]ŗXi%B >^*8wWRޝ X"qi~mHNɤm^;s`Z%6 Qi=>ZoE#uA>59|̥oo) %2Մ`e[ [ PzYb8]m!(%$h_N=uu{>[;i {T*#Obs( k#Þ ;ˤ5ݡTIvv4?%ʺm3hÉnlNW.f1n+GBKLL$y_e "wHG\0zdy[yA &GR_-cngl )ÓO8f'W$qVmKa>%T|:J00~Oרf7\F8RJzN&Ef 4U`g:.$quA<=Uo`N*D6xk^xG {p%u݄wZ~Pu|b :8i?ʽ*b(@r*_*Xv)aXߪC7ıq~2$*Vz ;՘*M#{R3ּx9s`^)xTO:3'(MLEeBNsoT~WȊIY+)<9Jt:(-7/'̶?. ++ 莒c$#IYD`,-BҴŅgYZ12575b6b2708b6e1ec51083b4230d8a76b467204c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 9 Card_Number_Partitions