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  \ \1 |L ] HOL-Metis_Examples:threads=2elapsed=43.844cpu=68.540gc=3.716factor=1.567zXZִF! ^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#P蟠9<)Τ[Ԏm{ +Z^`F _fHAM7/Wk$#`jX`)JYZ v|f1;5Tl0,ĖiFC<)r ߚ󒑉t;:9UxVPp<#z+pi6*xl?y߱Ҥ)_ " @Ru@T] -݁_#ys1 ۰i=yK6LN:|&XS-FF Ғ7fi.'H}D 7 0m2nh#4*&!Ynۂ1$Fpe _Z־*2 S|ɰ?3vKjaN)䭕Z=?;yUae$09d1 Avt G.2;NVЈ(m 'w&o@Hy=U(Gz#K!cOˆ+e|z- 1 HOL-Metis_ExamplesjT'XP|}juoD޹> j VvŁhH|oz=<=S|Y!6]2p.Ҹ`@Os{V*S^A^뺲GmO9*΄XAfmPx<' Sz{5l%)RF W4)\ 0(nvMl1Ϣ"&q i, i o[AvW˼ܨ<#1j0#Ƈ. Q` xdݓ/Z^PFc=i-bܟ\ENM'KpO]zT4 o_w.9NRB_ú:, ء[Btt2k$ h.ص"oXSc.Vfѧ 맦Ӄ]ad_aǫ xf-C<ѹDUziǍni~͌K 83~#ge EL StH;U^nD];I%_DxyqL2|jzĠX(f,z**pgz2_KQh$_!8&BlA"ko>c4\I#M@J<Wǣc,77`YdQm(j.b=%" S0":Y(Y%~d#sݦ?Ie אDEޯDd[Y4PhF~{lO^~ə*m M~#<u !`՛ɾkb{_({Z\,{*\H5RER+ ݀ DQ67XH+1O w- ZFp' ּ6gzVTyX= i ǽmgYZ7zXZִF! ]ŗXiɟ1$Cܨ }X 6^vWn p^k8huCf P=Q d7#z teG]$%0 vJ?3vm[WHl$՘YMc'`MiX|kٲ2' ͚r cQ 8?Ԉ\+ eZʤVY [qp E7}[XfSk:MZ#!sS2t| _L;7gSj3'Hku3v_K bܫ"KZݸkN>1=`G)W݀턇 Rh`ӖhTESD)D}*,Uiu^]J&,znm>++nJe>n㵮Qd3-8ݎה?,B]|I=)y=,*ZM[{x-0Z5@G vMCHab~} cIVל+s%=2(8Myy*] \,|a>elT8}‘uzU:Q$;d'OUFvk9PQ@6]ߡl"qȳP0ȷUJ{FGy8[!!ߝ]ıoHBt)) L@L32JwӼe6n x 4˗Q͓AuҦ%~ V!P Ҿ$RdkY4#H7bo> X\8ѱXGf ~ePѧeTo3am>VKswg)(*aU+j#lWC/PsiJ_? D8_q`B>ݝC- mn.)EJ"*ʘOF -0ɪ}{p$ M{c<'8b?[8rn,h;5H FJS*E²lOsϚy`k"R0FT&*f;g\Lqڨ2薪 _`2[6k=? gq}ט' OM:/dMrڌst1e'˩:+A&(epeŋ.XPB.,)R@A\)NfnՁ*7Hlpin] I1-oK<͛I%Ew֟RbGTvE2.) y: _:?GIPm\V2TLl_-O1}ueop6"!,tx<{fUycuWx#־ ުTT@AUU$-K E.nz·rIIjuۘ]K"5P4e-l֫y)98 Af {wϧ?yCZYl 9!&n)#PȄ -[CTBsJC[UȪ6R0~eKJPINl&zT9EF{ã",4 r9TX4%$QhsN<~1ϭjymf7[Z2dXqٱ 6Dt`ZRbI 8CB;dujwCE12ځE\2~[&<ǙD<bD#{Ai40 ^3ϭsQC XJ%'O'Yi3vGwڷVWb2*fxR{5%/NED!x%&X8faw%l- 5E%GlK8x wdbAB*EcCۿv%ެnrhAMDB(V/dPo7£&#}nĻˑ}x_1jfK<WMؖC`z:S?#(>#yT^ 6m>qu*Q lXe 3;*ޤ_a#m=̲1={ych<Ϧ[ͯݷkZul}֑.]ϱgYZ2f5a9f35dd2349fc1c4a19631f3d63bbcb63415f98dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea