SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 pp ) $| ] Error_Function:threads=2elapsed=18.552cpu=33.068gc=1.364factor=1.787zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Ђn4"+Hzj+p)7`- IdEWNԨY6;#F&fxafфgg[)p{LTm=6i&Ak?q:q _(\”D˒Kv(+ 4=b :Im$D=F >BKVoJBA`ى`o~ ]A.{3o|pX) bT5_k:?U+F%\H[ tWCv/=5 GT82Xd)«]n\K#':ޑX ׬ɰ 򢋂̃pMT-hz_cy ~A 'J 050\AoxDw^6W%Թo?8PG(*-#A$WSv_8 [;kLNoWVRY۴$-J?241# e2U9?Xl;\͊"E꾌cPdޥ1qv&h'ps[gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7# |6<|UR/T"8WRn $C!1=/7biNK„m__ם.!U#UW}j|k$`C,߻PpW-aO" @ba5/븺2ߍ?KlëKeߺD:O&njvKdm|@ )LgYZ7zXZִF! gF]ŗXi%>gQE:,wb[`)ؕ.^W,hCbL!y蛬39ܿ% Z,YN;,ϸlE3nI h.:=e5,Qi܊"o,``h^p{Nk);-GYpqpbv$]YxJy"wgJq48+3G7%w[Tyk7s|D@ Bg&wloblDn!O2jf7̢Jw`؞=2&>-v-_dFem@Z=g_zxY̧y^Qf[_HpR7-1.YH[D0.eX-ۃ(Gxx!]17pտ $lҥo5ǺwSN3akB3^ɧ= O+PEezր}DȳO3ߺGDt{>TVH)pZ)EHf>:߹zdnK D1{ xF"F}67 *'@SjNsQ=X; De"YRC&\h- )l8HrBiU͹!i&|,vɚ}6^dD4U'a 8 F 6(e{\BLȁS:9 r>o!P'kI3:!}3ǧ{!_drɛ)o+UatM-$'#k0<b= ?df|^\O_Ok`pm27HϞ#9S@VtZ P9U0$oc`již oMD&Dsn|lqęƵBnR[x^~HeY^te