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 ..O1 || ]/ Recursion-Theory-I:threads=4elapsed=9.188cpu=31.316gc=1.208factor=3.417zXZִF! ]ŗXf[&&mPPAnɓ0>9C~TopfpΆsn}7LHx v El6HKE2V(F@#0duwGuFɫ9MqNYm(t!:/O*a:f4S嚉-PsKa[G %H:e̋Ecjyɭ].{]3})PT-י ЬezkVbi S`00{E,}" M,$A'pu07=#O5f%{Dzxo8ir6l9@ϽVѧp=ݠ]UqAXl<,-,8ɹxf'Oo!*сjݕiG,[o7&\CVgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^H|J+4JrɊh&HӡCCDo/dwxgJ+ƣ#>G?*Z`whYJ5Dk\vxMk `{KP=v/oL>U"gYZ7zXZִF! P]ŗXi%L 0𜝞S +0qgk5RPg.Lr%" Nr¶c@j=c׼ynφ5)Üz1(jMZ,QED}ZҼkM{+Em4~:IטSi @p"߁/_m!}*qm8@%^.|xYX]':m7_,=9{hҊ-wef %ϔpl>qә0YQErMJPSƌWo ^?/ i-^Ge67SCP/dl Uɿ>|_S'Dm@:B_(86<HEX~<5UFet?:2dMU* Q>!l^Bap`RyK[TߞwĹkN6`kCfsj0%kF1̛F]9ڗڐ*.K^v $hCkP큽{'*4G ,1hc1cn<CvE+yH~~1uw UWt; 3W:E]8)5 sZe&DPM4`ޓR@Vj. 0V)M=UnMu닟=in 1qJd'&pN ǐtN5 L.ɞ\Lkۿ&l{p4*)gkӚ~"qZDt8a[Sk$l+Ec6ikJģgɆlˢ gw@*>1^OjC-*?ߠ"o+ Aݯ,zRc?REm(@TڹF͍q# So f,ZkCjD:^yX}GEpDZ&?C]D;r"S3]ٰtqc.HG;p0uZ7 -m<àJ ̧g7|͍;4*3 =#s-rgG*@R?4D){.q%iRɤA%wʃP;E6! +:~7QT+6* JϤrL7fT-("N^&_VDpg} e;.f((I{_4f0Z8LsӨK3jӜӔC..wΟ(I9ZGt׼ɺykNթ,#6r-F( C*$}-(^>.UT4'!eObH{޴^~°#pJ  gYZ91e2737ef3e3731e54ab4fce3052b35ee1d1b1ddd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 1 Recursion-Theory-I