SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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' l K HOLCF-Prelude:threads=2elapsed=48.894cpu=88.332gc=3.496factor=1.817zXZִF! 6]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBIAms oyϯ^ʼ=ʫߪƱgHZN--q@U J>4'H' 2vk,BA`\UnU,J9CtH(FdSCk}RVbo7.0F@">or/xd-Ȫ 3W!8 fNJ`߾}G\_;U+ ׾(*;Fr4,+,Mmn~HW1f=2--HLw#}7(A (9A/U5d yxGHDJ6 \ve$M{Ȅ3ߐ3AIMpم*vROODȔ>[|&v`Œ#K,S4)iwGb"j~]s:o0Q>vcR9"5ZRMũh$紌^]d8L&A#|0Chk(\z *`c_ mQgYZ7zXZִF! o H]ŗXi%6{C!tM̜[PIBJ!G߹Gܸk=$p7wq@G4{džr*䴊[N)CWr`i̚X㓈ķ80YNbI #a~0?I,VAWO#XZD OLQ>>zl}G2O|By,Y`l79/#O&ߌc[,Y>fjf(WY9s?k0uc[8 QFdN ' HOLCF-PreludeE^H-*Cn%gEm#ou)ʈG5S`EISMH/) ,ޡ7J*J-4[Ԛ}TleAOֶ ;9[씶nz4vFsA߀{C:緽 A/Ѱ`/Y2(eHJsJ;N~OZJ+N4?:7$+4"C=8)dk"+rE=FBq!H`l(џj5 JN OiߌSWŃ!ܲJ@>QM)'t%?{M5^!REqZW2R5'UuN )RR)Sx?wL;XRM [72>.6Ty?OcFeJ8G/f6;g^iWLTFɽrv:zb +0&mzĨQ,6B݁ؿXhωc;D] DR͏+)/"45yAl/dͻDﰱnt/D]Ž1Ɵ|vngÐj,ưWȩWKR UWh B踡~ |j kQ l«~.li&uoѕMʔ|o:OPĢyE;R+BW3C;,e}Y&TĪn.Jɔ{W&;j=sO )lM:CڳBpt悹sٜǪx0^0Tpkٳpp(̺m8[-4lTΤ{Xn{"uB\KE)  s%n\/j~H`ƨQ1W> 5{`wP%G46VaJVhfN>Vf3k.{'Mw˝3{LӺi]RE#T zM 3qFЃ-’$O:cEˣ\PҞ {]_i5tV=QgY=U*X,.rGNqVSM@KްyBF!z?|GAD+XE_@'El뾉B<|qȒP[dw 0M^sOtd0_) =\Wc#XzZZ}PSB2_4_lT N?eHҕ\mںz2 n /r"껉c۵S{En wNW)UOsFn2ΈEFZG\Tot>9_;ƪ\qy+b$z4۬J41lTǏ30I-c xc%{?ȵ{I!Uc-HFP,g\^pǞʬ ľ̍iGp?"LD!ͻX>k^cҾtnIeg+៞A%HW6Bbq9 " pѳUQlӍZM~x㠵ٖ'u=I)\7 b&n_8I9zgYZ0cdd0ab37b9718f7841f4c1e452c3ee1149fbe6f 0f83e9379368d232af1423c3a9685e6e1cf74f88 19960bc7d8b92d1582c168aded65cdb6b2c70109 262dd36fa34004f950a43f36b8edceded7c2f685 2fdbe80acdb7bfa6f406f3044d266a65e3001a32 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3db8317c5f591a75cc6914ba310706a7f93be268 42949db6ca1e816bbd53202dcffa7c9052e84a7a 44827c5ca90cfda525cad03afdfcc56dd98d9a2d 5a724ae8bb1980883f164d369354140f29606848 5b3e79559bc0c893106e0da606f6a7bffe11397d 639d7cc3abbd5de4eedf5f879ad4f2b7309816ef 67c293a654d1e0fd1030b5d6de2ca82d6cabdcb8 69914580fe53f1120177379cd0cb2442fc3fd349 69b4d87e9cab0b856337e17afce32c08395ac7ff 6bd33b55cd1e51614d6fe6236264bbb32cefd535 71131d61502d42b94e07b527e360da5ce247f8e5 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 897a8102a9389ad45ecb84533f3502fa71c7358c 95d36f5b95ae9531d0ee54478b2e4d81622003b3 96dc0ff1a4cda12e5cd78e6cd384ee1a92db70ab 972b4e038b27247f2b214b26b99c621937af586e 9dfad18df92030df23d8063c4c861125f8969a1f a6d881014016ac510413e96c94577bf126ea335f a939026b44134729988af1c996021ed8144c201d ba3b3a5730257d7f4916bd70913829a914ccdf7a bae67d108c6c5e9b336b83c8f4eb0c3b2c6bec72 be86f3c4c6e462285ba944f4b6d596de1fb5b400 dc9e9c5d8d5235a621106a3a732c508aac4588bf eabbecb9768d4fb21ced24fc9c2c718a25d628dbf0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 d89f71d5d2ee0a36d2c2a6c8a200096443e783cb