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 q+ |$ ]]Sqrt_Babylonian:threads=8elapsed=7.712cpu=23.455gc=0.732factor=3.047zXZִF! ]ŗXf[&RA=# RA8 ~m>.iwzSptifռ_*bo'8WGܖ鯬:x-/ h/?4tn:l25] Yuh"lh/ذEb9/lbk&Zm,${œΫouҚ@3zHޯ@ l?5C';쫎~ZB ⠱gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(Vk X_gZQ:&=F1ңlX}1|']3KԨQ [z%R䑔$lLLmh4gYZ7zXZִF! 8&]ŗXi%>t{ Skuަ '(ϐ-_z79Wr C(rf Ŧm cjr{Tm^|%%g2I6 \l̾nE-e th tVv/G7Ix@vr$G2l61c<_>ZQeg8+]37+=ae=iDP~"iQԶVC@DD~F^ةW풃: xֺ`*Mո@asׄ.?se8h~.:t(wByYդ~\A4vJUcCΊa؃u6;/W?ZE+1!lTZ Ha"@<8yM;a (dgiF*H(wb`lNqR~.oSQi2m[7> FTxs]'M^8ekBZW*c64Ë/<: }L{d aK[-&mfxD\7MyV 6OFPt OG=Y7ZHޱ<$FNS(cDzĚ5 iSχgX70wh嬐D=ǭ@3QKfb&Ƕq~1@Z aH ~|:,9D3N<u jrldU: 󳮹 HH6:5+kS˲1N$;~jBx~&jQf4MXt.O<m!t)eߤwpY㢈41Ey_WCRMov+MRx1bNw;0?%eF|l6H]e'3m DhDA ;A~eg/yl46pfrXgYZ1f017371146fae9b28ea9f169c053f1086bf4608c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 8fc452c3a63504e4bb4d7f8033be6ac874270fba155f43b5d06df408433339327a678cae5d1b2726 + Sqrt_Babylonian