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 y <4\ ]S HOL-UNITY:threads=6elapsed=18.306cpu=85.776gc=4.244factor=4.697zXZִF! ,hU]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yxn%_\wȾxAr!P"Y^2!NX_{L:%z7ݙ^1_ r㿛uw}pT(Y+QKV~|Z{k}ap xzI8q1 b&Ց>gaIKOUM"_|=,i3J) Є 4󜲂/n#HH™/JæP7+!J5w- yZlk   HOL-UNITY9l!{ ^H)GㅡMa|nW il-"p2z(U_xNPFş&eYWZHuة! P*fa>:o:~A'rٿx W2 (k'тW2'^HTUꪝ `@k(“O-m"ο,Ls !]yVl޲ 22lsֽk,Ag:i]5{R mXHb*4D$AoZ!1J7mj^Z8 =2Ƙ+pi!63bID̳#1F 3w Qct\S*Q&$Lnn8 va0%E툡ތU%tBx6V;JlnЛ0KdrZ3-0 **T~<׻)sjG>iF *I}|!O/Vv[:̓߁+{Ky B:W8IZ?nɫ_`Q҆ Eaf%CJ^d-hklA)d^QtWn9^0ueQrO5cf٧ҭ ! %!f:Rȩ#m%ܪсn93Lh?zaTPLv DD{У,h#m?Rrs6(ql6B&m M C13=#  b>n&d[SV-8\G;4Gic[uKk ,G;f9T9ŵ.5~< K=^F5!B<>+] *S50[({JjOacq0/[T\`]qhp&0j)r۩ G&CǍ2m:} CќB-H|Y%%)oc-U^?Qh%Ύé}} ymlѽzaDž̫UycCa#a1#ݝ8 !%߭EA~E$>!sofRKh: ڞ0R) Ioɳ QEӉVA|2R1z?^*d ߵZriPsp}w8gYZ7zXZִF! U]ŗXi%;ާV1Y &@ d Fry!MU-W_% ~ &]i?s9 <著5\0`W1]Kg}@ăR<,ц ׃|uIUM?#ŏLb &`&pԞ$poa>:eyF&KM->_GҪivyWUqC5ɟi Q%g@p֝zDx gkM6|/12lժV&{ 'PQ"lj?i^bo~bJyd}1| IFpw K3kcxhC{#,TƁ 0 dsGty&;P\(J5XB!1=&1$ 5ݼYEaC"P#MG$N!H{ '3\X_B#8*iwZ}4GѨ^7] ߗ6>~:[޸366|N򁑃VȄ75  T*k-tK7!k(u\<^wTWU="BMـ\2q}Jc@_