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 L1 t ]/ Recursion-Theory-I:threads=2elapsed=15.622cpu=28.048gc=1.224factor=1.807zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[a Vi#Yi5+d<+\K࠾= 6l {0#ɪϿxtP?Xgbۡg$ލI*;0z"U]]G.O<=T+PBȽvJF1hs&&9/`xcyQ m?@dL5_8^h`]O6k? 9׉# *\"GdztYsgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^J*, +M"b;,= #Cb/7瀀o`3a"Y Ъ$OJ^FHvO})S5u-{ixCDjgYZ7zXZִF! e_|]ŗXi%>g[,^qJMυs0aDer‰add/<9U"3NG=ս'_Tq%eM[NKR; O4<|ѥUHSh~ ΋uuAYM0B,|8ЊgWwK ̐&22J= HRleU2k{TAosnbQ6/y &hJ!"XSxSR'q_OƩ>>[N pƲ+|7W4_$*CaӘcm*1]HBF~a+ 2C}?c1d.lj= "h\ 7Xۥ- G  E7V8_hhBT2*EJqk4z U+PCt2{&[>A Z DC3>{Q'mPQyעydY"Xz{'qlԴD0B5`;U#t=‹,ubF nBխz9kb^'-1dOZE켽>fǷgrLYEK/0QhO6V3?i `E(O)d¨쎽r.agGv؄'o;6-!&Q 3I1ڗj&55)ڗ=c>P+kܱ9k 7#mǃi(qv }vhuBr@]s ; F2#P,չ`;0[/U4OnU(v/׫_nC~8Y-/*Jv)O'|0. uTF)MG Ť*{;fͤ7(U&nW\~4ZaIk҅zx9˱Ҁ iZ]|eH}x%'78y1WK'Г?ŲE#atd'};µ]è P[/P-&5Zߏy+^L˓yt̯=4.*o]?@}p"FʳLz؟TP}<ŹѬ+  gYZa849413b0019775f5897565c366d8d2d67b219d4a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 1 Recursion-Theory-I