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 W1 t ]/ Recursion-Theory-I:threads=4elapsed=8.072cpu=26.844gc=0.904factor=3.337zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B~I)ΈZE5}«&kC缥vd'0eeoM$+$N86 ةf́DLYaV: .b~:P[4 yq/% w--gҖg2&ý{PzEA;h'AݜWha9l绰..G>8E7_:.ƿx6s4P#\sWEQ /G<2/(! =tG*&E<~<s+|gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs+/R ]+Es=}Mh]PZŦ0Fnq>eN?@![ RST"hE}1I=G1y[6P2\6 ;HR~GG@ mX3(ԎA~9z~6gYZ7zXZִF! P]ŗXi%B8`>ǏsEdfW`ZADdlhpAChNs\KYK6{=Gw^cՈ(?՗?@%uTp.%>,~\plf{Wj+#Y|}<{8#,X`)xjo_eFh2֒gJoqV˭{ F!xՇ/ұ~z=MpUbnİњ5[/ڬ,)>D ̸/ï 2_31KwVWpZqz1`} q0(${;;--p'k31gף 17aSJD~3zҞA겾̣ e]8ƞy;q_ZO O-YI2Y>" ZQ`D#%O7R_>`= Ӻ/Jk% :ZZ x༾bt-pH p!U2rF`kILjpW:aH, :!.Ds]2zKlV.ũ7Md.b}OoӑlPC`μoarbr$!+fZ׾_59 |o_*;>u$0`)to{FSOoxͺ[Z9'^UZEVb|#:kX##/AU#FPPRټ@HnwϰrGRqQgNAU/?8Oxn*~bjvxAm=4y xMiw'z%|Mw4HCD+W|w&ˉ~Q-q5wzjSN +W|+K=Vz XIYT޻61ԝt>Coaҕߨ7MɀS2D%Mhn9 DIN?U#V} D$$H1Jp C!#UP}{ (D (5gP[0-q7\zb/uԋ<^J7Oc N-qLrAܒe MU)ZdĪʱT!KlRݒTb) /ە\[$H}Y@$x]G鵎} p鼺 EO_) GgYZ36dd3c5efdc10a82ef08fc38ecbc53a8577d3f94ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 1 Recursion-Theory-I