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.568cpu=88.652gc=3.524factor=4.777zXZִF! 0~]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxF{=p]@ /3D,M `ձ[D7Pْ6~8jXMČ,`d r>;]+ -PhX~|TV@2+tth/ />2n,+ܿM51dry̌ 4]_?|Z®沇*L"vb_)x@  ߐ:bof`>Ǭrgxy\2p||pMT6c;=ъ.c$   HOL-UNITY"ѳc~D|@<}HcϞԠD&F#|L_}Ve$;xMV)?خ\H槿rky{R~}]Lqhј Ol5Ӹ*&l=i9Qnh|N)y2b@U8qGII-QQ#VǑ=mwՏGago@o{ZK5E"*\QtNI+ymqwe`bVTg``S_[8JwH-ϖ_م]E\95ǔh*A(Gxƀ|%oq-]߶֔_"h7܇Q5`(*yU36k/EuhP(U4g4Mc=f1 b-l^Mł Q؅k+a'hqНIbz90_U`ڟT[>lm5Cw-<&~rŵzV$]aK $rz$~%l5xb񆔬Ɩ \]oAFR ،ob \!Q?TGɸ|I;{K7Agr d= "qCj@:2e:9 fov(K8@On* ^ǘL)!YKLߜw'I')ڝ? U21ݎ_T%ANh{{I50ܾ68|WՊp4l3YFJ9 bp~ƀ3byuJlL;o?xuǯ0jzG @*ً&zѢB%:$zFM /:ZԍP$DH2k z 'ʆlRD,%vTp[lîJ;tZ^!;jQtӲ׎ |8624ШB1I3v`+>u hmW- `cUugYZ7zXZִF! ;]ŗXiɟ1'x^܎ǧ+s]z@].9䃑Sۀ "icYwlM#׊HS,8ialDk)8 ?NLq0Ӛ_NkK+Scߋ'wVCBJ[oU瞧fZ(KN0gE-i YZϲ ꎲ =`M~\ՋkRC yn ^`̗&[WۻäMVÑ/uq- 9ـ$G*aI$GF{ nاm \7c޼O 6Ƒ/O[;j;edaBU}TĆb6[({9.Ӕ8xi  iul`AD ܓ_7C'pL3 ACC0A܀2>OkXHDŋ&f-g*l!A!Qg +=뚒z Vz~cge iY{oS\%n8y+OlQ~L0gz 5 uo^_!&:8fp^gYZ7zXZִF! W]ŗXi%6ƧƜ3LǬӣ O0%<v$ ~n2$;>[+J {6:a:깿?ITSyzZXZCO90]2L*싘AT,F2 yխZWStZ-Y@bbY p&';J] E3?I[設zۗe }Kt ?yF,3*p|s\“NO!MׄTY^-9 ɪ{B#on`_hq6\ *-DgJJ\RvVx1#,L :2_IBa+@aACEWcQNɺ6zWڍ9W둣BC>Gf#\F$Rw$$踩J}ZP'!A <͉&07eІXNm"J4=޼D 6fΛ&xUϱ5epm|Y%܃+x2v+C5s|kOh"0*bF CDYN%?ؼy.e-۲UrrE9?1\\ӝ঑IJr߸ktl\CUo_~1Db-h/b,8{AqAa/+XBb=!H@omVQ'xUbth<0Û0`a('B&))i/j,]-9G8O0HvEɏҬKA=d}TI%"GE4-Vқ㟞7ã[e@9Kғ.<:8}ӬdH^_ocX` F |VIy_3NuR)t0#r,L% @PY'fv+8ݖ]V~ d󥴫ԓ͂4XR}, c*Fԟ:?ػ f[_G-%d~'/Dp e=btymuŁ#ʘJz4y۲YAjw/Ϊic31ݩ8AB hG G!cS5sDžlтA8;GZ67sM ^sP"*%k|B FSa1hE@*/Oy3vP(o\QR.0 R`QdY%aRy΂-KmM{~Mv_4url m8~cR\a?2aX&^jU^@{,>_f'ZÚlzMO{ '4[q (E÷AgF>)z,[Jr|@l|Ҳź4SLLX__|@:Dqk9*Z_8x-؅_U[fcd}Fƒ_f8,3'LFJaƯ59kYgy:&rf#vxwEԀKsP[#01Z96Cܬgp d 2 ˯[;fgYZ11a36f594a28287bafc60a58e48498a03f0805f80f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92 eb85b340e2b859ab2e5943df6caa0768e063c865