SQLite format 3@ . BBh77otableisabelle_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 z+ $ ]]Sqrt_Babylonian:threads=2elapsed=14.381cpu=23.364gc=0.812factor=1.627zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/s̘YK; ya٤!e4zv(~ )ᡬ(@Tͬ=Ie~o\hTBVA` 0\}Se9Lm[mFcN_twR[iWAF;D2BG 9bRŞR1vg,v fڜgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(V#iډu+ؐzx*on(C*vrX !¾Z*DNWsc`}'*J[qfIOngbhYgYZ7zXZִF! T]ŗXi%;c%+&({wh&p\4bPudQ Rl-7huotc!AvJpeMď0D9:, ^L1eduev(%+bu(KY]jUn!AR~Br dq;HY|%}x22щww5Bl_a#x:߶ftA?\<>`)5ѧ(ɤY)iYn*w FD㴦-J6{`l'&SP'(']ҢкDZ*d+-yQ$GgÍUSvՉQrӾCd7e &cg _Q 7v@Omg~JM/#W^9oR0 V N7.`Ql qbhz?PbSX_u{/q蓹iա3O.00?8%0{*kuI yR2P;N+QNoxý0 UK+G0VQ6Pvn}!j/hjU0葴'Le'.J zq|zGEBx,G]IVU0j7 n կ@X7l.WO.2_2F,$0HiwM!$n,̚^uNA!'i϶E9LބcRnUDq 9U9)96: "@w#Ħ׹ז+GC:$Hj; l Hef3(>)ذsgM)y_i9*f7#8VR̀Ek(B^6{җ]DHebF!pGM EU` ;{ZlXV9f^jdA4#ݕGR55.n;&iۯNY *NSZc$\Ԡ%U]bXŜ@m ek|u|Tj(.,ߓVH)ؐ1~;ECH(ɟکb=3O,,eVZHf504FrHDwz{98$sUp.&3"{鮑R. WEgYZb4cfeef859ff4a30b02a2fa749ca69ec68c4711279d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef f59f7e8b7255af54988fa5a9a56960c2bcbe7f10eb37602799eba924eb9bacc5783807e55c5c2c1b + Sqrt_Babylonian