SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^3 m% Residuated_Lattices:threads=2elapsed=27.838cpu=48.700gc=1.492factor=1.757zXZִF! ]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(a$Psb(;6CI&G_l\1xR 3 Residuated_LatticesyL/Zv쯕DBjrkI(mYnyQd~> Cڻ{uvxBBz ה 8k3e'søg6~}_۶K}IrI5^"ZKa4WZc6㢑|72`ٌڤASF-[rݘ~֌TrU4$hfy d[`^6V4KJHXv>ЈN6@GyM^uOhZ˞ty uWsF̽ԮZPUe:O]i@&|ST6MdɷeiDp~. Zs<{<[V 9Niw=+E?/3簬Y7Pq;,PSJW"==#m ~ca& +Du3QQ4?svΞgSs> ٣Ǡar&ov-$īRڴ 3uThs8G qłb?rȹO9!b5W(NS 8UB/jV:=f#UH¬`E%eW&U\ Ƅm("_Cim eƎ.|K 1n&1*zP\fMrhFKmb;9p6pʺԸSlM>e{nGl!z5| YmgboX6Zil#:67BF㙩ܤl;D-NeAݜאT.?o$\ԩ2v4z$/'o( B؂쏤)\(VY3yڃb: L,ezTdtZ_@~S&֪[{Y- {n&~S,jSH`*eV]}KQv0ӑ>n{ oW>U"Z0K2( mŶRNo enAl'!b*\Ds \kwXp4uk#'nK(@uMϖm[zM?Ѷ(uV '=d@Uw.}Wl2gNwliNV+wYUf^9Ê׌.E `C>uRn^OȖ._cmQ<pY'!B3LFXoXEimE[nmяfo{~ #2qֵ!Sq՝GmBm3;S/Pi^@ŀ2&r!2M_;@kJ@>_qhF,Yem._%+{Q^q*O?0v:&VG*/5kQ-Gc詭,SX%޵4fd7_ɧ_v@,^G912d*zFϦ|MϕFcΧp#wаNH&1 B<Ë8#*_q@caT0;(|^&lTJ,U ][>^3ޫ- _&+,PhgYZ7zXZִF! 4=]ŗXi%B׆CESq| ޔs{frVXlh Î+ 1wX{"3l[ao&ƞނ&xqEYN]zxTv`-r0 ;>8=tз| P!- e ) UyPEcNc +{%~}b$/e? 91.출Ό BTu^jpE@Qt;;Ԁ?,Q 9-G1E! 6֐T hC9l`oLGqzkaqd2-<5~MO>Kl-۱2; ,'MiUTS_g딦7 ^ <ߜ(7(m}g!3,4D8A&otә{'S[Ѓ3YR-`uIt|{;=o ϷOh0/=7Q7\1h¡3~:ɌqKJrjm?yB =9HκYˇK2jPRhU` ^1,%GSJg7j@ӔDnQUgxWiyB^dʩ[!{~Y@oO=qX8XY.ӄ3vly=%XN:G4t#SL*9Gd&zոׯ3 {h5_`r?ݬ53/:5Kyg˻fQV*=>U2LD!ܱLiF٩2J }Y,$ Z!- l#/#He.ڄ3YN$I4um͋JАu8y;sz~ v>d9B/L>'Sf%*O.|EqgaB[Vlj *'B.?dM'RdM'-aFX41-Ee ăU;1s7dfS;VSx)|muP~!b|`~>Z̈́gw%$Pk2e. !b#|}zͧ-^?Sv]IQl̮=1! eRH'( QA#1cw *Ÿ¦IGY5LWP.yFQ43 5LaM |9Q"WJgYZ2a6ab331f01713caa21b5d324f1b6795c1733194 4682e5ffb03f0092b8727ff023d636a584a972cc 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd b1ac9833c893dabe3a7786b32f206432c078a9f3 d79d8c48769f49b782b0b5e0a8115e8775c4e424 dcf72e91e06727e7fb4ae7065ac35a670bf5bd9e e23218f33c9ba43f226683bbab6cf88af67f53b1 ee6dffdc2c820925b26acb1eb32135bd7f76bfe8d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b25 f073f7a52816d7314e464035326a3889904aece9 68c4c558aa667e93aa7bb9c1d8517af99b5b2420