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 N T$4 ]S]Matrix:threads=2elapsed=45.834cpu=77.828gc=3.616factor=1.707zXZִF! $q#]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیד? WҶr^ N{s0>f WR9h$c8KM2W\"w=H-S *)%f#k14$*`(~>\ViYl?AGu[3d+f΀H#1v;[NbhMJ lG FbY+]-VGlۇeSpdYC Oml0RSKL!E D9j{ϹDQHREAMY1L-zxZq   MatrixJG`01dć!dL\#p@Ofү& `m<3ɰIɁmJoe ${۽%* þ RsHa$U\Qbnu!tWmG>ܼzo S6c^5PH-Cn,=+ߒXV%A'#3u^$5Obe-uͰقbl*5f{f5VJ&i_jaғ&+g5v&5 R0fX 薹4V#(IKN.KvZ_N=ũ6`|͉Վ!}9"yn:ur61ӛYsq]7  ٵC!QM3oL1S0v_EzUU94J!r8"XIOht:CZC/Cp ^4^\X:Q} QZ>H<_JgYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= -!3(T4W:Twho9P}(%LRnHx ̤ݬ:@ȼ!`벬}4Y~CN',W&Gza1m"IR-ndK9iwa*G]Y<<$O{o7 -G}@/ABƔpHd)p4kWQ|lQ+wS =NgYZ7zXZִF! ]ŗXi%;|}ϻiˌ55b0Kwܠ ]`2.c 3A?] ).Ŭm 蕦 3Vp=zIPdQ鹿kf;g(Jbo,+Y<; YxݚP h# KK `Ҡ`[eP؛Å,dpMਔ6NU@$F[AOtG)h >}!)jixN+ pd{[ ?+m^3_d1%Qv \w&!!f4=]dfPkSInU !Ya@<) O!+Mw2'^>/īd>5Xe;>JCm\76){mUux)>)wGOő YHZX[B%/Vٚ BĖ:SgP諜NsiDQ+4077'[~Pur{_6s.ыQ u 6 &yق<%b Wm\ ‡~dĒu>^ M'Xn LwQ<#VZ0(D$@=m (ǻbќ3SuBԀ+T͡ް0One=O:HgVz$>OK(1trwL}-LeܔޜFs0O@;M k,Wtͭ?]s,]k_wx>a.aQ{Ƴ֩9vCP)ߢ󎏢u\%q\?ת >jJBm,s[$[R ] }sX1턀#PEߐ{"fkiT%3DGaro,ZPX$~\,v:j1ASu&,/$X2rRWaeѝ 7a8"[&\`U29+3{x"~T&6;>=TeH͈@ɨv[fI]b8fiC#qp }iFx6Jt9~;eR IvǔdE<_GD4Pew7VȮRb!f/X8+:59sFɺ+f_ fex$ZApԥGWN1BL^Qc'VQ$ue]1n0eiˬ5UeAđxʚQzwfƙmKwI;(\c8[ ;;} NK SrqH`::k=iOFM9#:S#ߏrRPқYЖ1w&R vZhwf[sO˕#+p.1Bq*Tdzww yh"smWSL VLgBWMoLTjm+