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  u/44l ]/ HOL-Proofs-Lambda:threads=6elapsed=111.034cpu=140.492gc=5.724factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}?Qz:mw:Yv'ݵ'J$UкX\965'`ںpՐҧ(0ӎ_zؿDk16`so3] L) .=(97Rڂt5ƁʕUA0/6 Q̦6$c 8MJƞPh}bƋ(=Y%2/[]F\^NPU° &qC! $UG~kL 3?=k](FeAbҏ<|Am !?-0N?KP&q!kb8zDq˚hȑF+hxs3 d^¾:g2yuP HHjʍ=zzt3<ٿƾF?~VgYZ7zXZִF! .]ŗXi%;IZ:It x҄=@s!;$8pd􀮬3EH3 %zl"@d7/,tL*W@łt֪pJ]vOz@5&,L( ӿX'JUFY|Fi5yNMC|oRAl-!eıŔxM0Ԓڴ;=ަWi;;Nve$.2Nȴ&frS̛"rWgrhPFAY^1vnX d3~CsNAHkh$ R'"e/'Lb=ƒ=Ef6.P^IqvwJhsfI|+N Pa|Qy|_ӥ 80qoBaȦ_ eXS~Cr*+9 F,ZӪ> J*f?#jEDHxsLM U,2w/GLZr7f&L ~5?3KuFsI]]h! fvKW o.:΃wK}Z/h6oxYh~܆|'wLdh | H{ĂDWyWO-€i6$O"~Qe7af;9au 6a?&f+!p.Ak0&` zu:VϨ7m4ٷ|W{㶆l!2@8F7w|>t4ixBϯ\;ʦKO/%ar.̳kiE+jm <#EE]X7AYAmE|a§W/u8m9IOKCpRJ{޿3;͵ʂb5^˖"6 :o%x G|JQ Ȕ^qW> q肉kJ% )7s!0Ywnybăj`ʜȿ!K>^L8!yLE &n9q7aC$-6 ވ,͈ 6i;xA]&nhVZ)gbћF1Uj%'`WRS8Ӂ%M2g$G˥ >><'UY>s`:EdЀMM!z٢b5>cZ0V kTx:ȧl>CBKЛ xc44 j |Kp`|!UݖoZ!WPL/`:nT"&3F>f{ ;%6v'ai#dp|v}Xo(Qr M*mx}) dD6kpfT@ƠRd1>.[MFl~œժ)[Q@OZy|ݘ'Mj῜tR5 G軁͐C Gh-b i ö<K(+@bgFh ؤLaBDٝ^Ap2w~N;m+}WwO׮W.q !b_3v=AbPd3 ) D_g=jB3ɤUdw1bʲ7UP+XJ Aljx. ˆ50.]=EPd#Q/4qt)Vݽ/QfӔn ̏䕽w4xeB;d0G L?ۓOPZ.(d NJ# Ҹ*jC5mˣGQd^̤$y\) q/zMu*#Nr{^~}y:RgX ȷ !cK QAQn3gP7--[*n}Oﰦ$:gYZ525845b8949366711bd24f675c2504205935be934842c8e44f35b38e84e7496d28f4c0448c77e9a2 75e798ab4d57733e0ce7cd334c72b705b815b381