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 PI |t ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=13.527cpu=22.552gc=0.260factor=1.677zXZִF! V|]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`Kl4RE>.cyqר?~ʑAgɣS- Ur3Gzw;_ٌ͡~HSqsR1*:wB-CGnRo~18~kX`2Ek#J Ϛ_0$w#lK]Z v#Sjk$XZYy]}vXBTZN3cC:hEKCk)[.>8ו "΅q>ZX %V hjAkRmݛ_9sʔؽ匵g'TJPWypBe 㰽㛝QqTY]VMB(8Ab1[(DwZm,[ǂ]T) g?v]'D?^nl ;vJ*0=.FEIG P>IcE@mT/ /wH,2hcZ, os^"ƍnܓdZ!El *>͙砱A_<\8{kgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7cCョVFͪMT4bR#eH֩j>g5WbyVP1Esqעu1F*sj \:-N~ Ց%ȚPG7r3rX{>gYZ7zXZִF! ds]ŗXi%GgK k<#ɚdH1SuÔ]B^}ɚ\,8MN6^~^AZs OJX*#ױrJQ[x#E;H.l`x[ -Cvю V^m nB8vtd4,YMQڞ'H,rAbVfϮBK-fk<;8%Y} j 2_o}qx ժk{D\eX"SPvQ'Xjc|&gǚlFF8MP:F _4`w+m8x'bw,2ˮMv3H3y".OQy%ux$sY'砨Sz=~ Ҷ9D| b&j]mC+\47|H#h)wU5f%ưYFXl(3VسWwhU0HЂTNր]kaQ~]pu}^2an7g}S YЦ' ֥j5h1+%9' L0# ᝈ;_=w&%|x Լ$H!تʄ_ff.4˖[؄(T0;d,>u0H;Q4+$LI|]hLUo%-# v$.P=Pj ]Jʝ߬nۿ[Gd%)ok;W#?Y"B4'rc]E?8`ܾu ~Utz 0n}vrarNȢq1#4x;_ |K!47s{DNoق6idzpV }12ir*LaH>t>I}oT2s:׻ z˄vA)gؾ",+7(;,MDgę<t.wynhxڋD%n{!vbxe'',2Q,D[5)ѢFu^f83I1s6DN$q5e+J0GޒK,zFTg/7R/̍Z}[aok#EˁtCM0iVtA'U=7Om},1!cZӭ.P\_N>#;ҥsح4rpYt 2͝e]Vx E\98757xLS9Ɛa\VEpaJ=saF-tN/oJP)ʄ8;QOvwHU#` oΡEض9Y%tun{9[#Z"vRHmr/>Sm ~MZ: MS͏my(k#܊R~fz.TA‡&t58O\P7gݫIJkߍ"wt5BOEeo3F9HT J80#gHHeuIN>/DR Q\T?" 2PzwJ`=*Q2(>ў 9w}W8^´f<Er6m *gYZf44ef1637da50c79d98d3ca954f78c7565dceb951795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b !I Types_Tableaus_and_Goedels_God