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 j+ $d ]]Sqrt_Babylonian:threads=4elapsed=17.096cpu=42.468gc=0.884factor=2.487zXZִF! E]ŗXf[&RA=# RA8 ~m>.iwzSpnf[e*z͕L~eݬ=)o>S~&[4GŁFu&g$Fٴ]B2ΈG4UHt<(x h#|l1ڂ,S\N-4 3'g_m^cHkNus׈[/wKi2 Y>0Kю60"uxN{VX>/HmGW+n]"^lkc.5A庀^& 9f& ">a,uqgWKlgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(XTѶ.8@OUurx獈qեk[K!䉫tRhU钔nihsH;PS4o䦌S&b L4gYZ7zXZִF! u7,]ŗXi%B lɀf&{>'ϓ<6u+NVrɰԦ ƶP9(;]V,XePݪA:v?jh5#/TM¢[,)jy nT'wiP2ͣu^ae7~#gՠD :ܓ-jZhuе:k09ӌ\:)ٌA&n\5 |R=2Vu!r[HB_x˷QkBYIoz Vs(mRwCC-5VtGV Kf.i~#aϴw)ծ_P27OFyez([<|mD1"*1_Yln?.‹Q/yȦ n;IV 7  (.~&ZCB_qnəO: V (o~8j5zt@Hك-Ҙ%o FJ#I:UXf?MmPb uKX+@la@caިwCqge_^1&uZ h}#_G{5;rՇfzT6muOb:r?ٸK›g;jyu,4  m-;yѶb$0~$UO\Op^eE Lc:ؒg b}ġ~u}Gbl/:UaV"N ǫP ?Oc=!r'P>O&Qm{M#VnѤ8x^I,կȕZt}GSĭ0ohiDk*o};mE S+Xa$~ P;m|9FW$OZv4; *#rl,]PUfa+>V tMF5y²SzmP?袾A]{hתJ]Y6B ot g !0[-CeTUqtk ʄXVCJ^'xƆ v m HRXM"Nl :gQXOi֓6RAZnI<=}!dViCEԧ_AeCIU._XZ*r'vgYZ7e69f3a0ecb3f17bd816da37f84bb1585ef8d80ac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 3e8ee9c07416ed69003b2e8a1f2747d851db45fe067d04a47c65624391561af867daea66f5706de1 + Sqrt_Babylonian