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 _1 dtT ]/ Recursion-Theory-I:threads=4elapsed=9.440cpu=32.484gc=1.364factor=3.447zXZִF! ]ŗXf[&&mPPAnɓ0>9C~TopfpΆrg\&`}Y@]p"-ŚjxݧSBH@LN+#@`hVKBviQқMF8¾ߨ8<FSíAI?~cw 7;YJ[ 97~?kfgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^ gO'k}"=΃Lpڑݢ \P~:Z&; z -(4; ~A?ne@2Z4F %kM]~k TQ6gYZ7zXZִF! S]ŗXi%GV"wn³ >NZ 1¨_BdX T@oKsZ̃ [렼嫚QXDarXvB%ĉ4rCtNa}9 5kծ{!>@}> 9+IOr-As@~[! wf:hh,Zi6-qUӤ$HH\-D*^d \ tyogS?$,]6jtU$>zLm-!P5OMA7u9v)Yu_s9DMwJG:i䃥reO(o;OŤĕ/+I4x=GfPLoRoڬ Ƃ+ 1v-r(j$OpfDCqM gES65g&@LVέ$1S l#=|Ҏ +{،WY.L \ m_H뿾ƀ‘e ؏ɢP5ϒZ',iСxtqI4aeY3^ Ӗk-iOO)jH;^6;s\Ⴞ\l#/FJ2G/ K ;d/[m A(c%Gr#Yؾ#4y&l"8Ez Kv=U0T5nAMOe D(&0H)~jM;qr:Tc?SYE XS:Nt*H#rۤN6[?;̚bA%gclr hw.r\mKu㳷@sW y v@+)jx1P阱rn SE0&EG.~*1,(#Xx ӟ/4b@@!gHn-Sk?c֦ +Dʒ +ò];mb6$ z,x,%<2*nKR$+S\8eKuR) hË,/j.ST~.'O.`M3!m\$wI L.!Q}ͦ@IO$H:&iGv*_x} l6 ?&LjoXt|]piL|:&K=r5h G5A&ڧڭ]> 5-# ?_gYZ3aa73d6e7485b7a4e3c80d743c3b33ac81d9a0ca4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 1 Recursion-Theory-I