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 BB'5 $ m% Rank_Nullity_Theorem:threads=2elapsed=20.753cpu=33.916gc=1.332factor=1.637zXZִF! |q]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`mT[.?9`5٨~0!LD ig]Οz$m'&H}:ÆP}a[oo &tѮcqܾȻ{m(q]mN(gNȧdLήLw .}ң'yCզ҈J>;~jlW2ZDSakgKcJN>8FD5h`et"@BT ty\nH/uF2G~$p .ww8(n;с#9VE Q#p|4yT4m %jM&mcaU`wYHJ1Co0#% uGB\;xo :>& (9TVlAA9|:S!j]\^a +ӄ˚Cԓ"yR\R~w^.$.QY&YΡY9 O9* GLTKKTWl|d~?0hJ~%|O4~sC5bb`]vQp?σT/D"MA]b=ʓ-P;7_?e) > 1;yXZA57tMЏECaaDe䅍T+9r vRz7]0&|=6*؏ju= hݲb(4d ڥsQeE-5#f)Mlg3S@9/A"0Ua{-pBڷ 6W/ ,UvJmǍ}džդ7!ӝhvˡBMibE/Cwjd :sk8S;bIlԿ`oi=(nV?8kmjFokPRyyxz*.G0NV#DZr, iZVЦM}x fTЈYۻ3(Vx|Kp"ĢluIՌ7|YN4$&C֛YVﰢ7vh1KSYZkrLf*d?GV(1E{u gwJB$V9쵌ϺZtBһ-.9H`A/_n9x*1jh"銿I=;G t, Sb A4w$6v[C* x0NGIOh}73:$ Pɶ *]tv\uIg>agYZ7zXZִF! n]ŗXi%e RkOv=[M`+*0ikY~|wm6, tjCv=$(8;F]TϖpCv ze [LaF%yѓbS#ض$,-\22V%Oߋ/CĎF A!z^]/s(Q[8L˅ 5V¯Hl q6Yc0Ys_=*aRTyvvn|^hN*J F(ma:,_kBpPddEl rfrMj{ \6N/"uDW?3Bo #.{$ssGL}ηa5mƇ)/IKȓH-t#(=6]`鐡 `lZ~}<]_?&ޥ@ &9nAg1苪QmFt12M{p+Q3o?4NIu芁Paaa?o:ްw*{ZDah36HzpɃiR=k+U8x.?6*eq7.ɥ4]@J,.VݸLA5*NJnJLNv4S*ܗc{B0k@aO9ҽe{ۊKW<s) PpȒiY80,%$@LV5pAB S*c"VD1F R_p ]"&Vvbw^ƘK h|lMV*1)UƮN3̻ &DAD/g9`t0~TH/L`ŏr\$ݧ  6*I2ԍFu3l ⏰N"x]; :t4-QFw}#s81x8a N[;W@y^$C巔d;iMRV9jgt{u0D@Ph MLқw!rr'VF[Mw~KLOBF|A&`@ 7#RuW&̦jbsOND2ˁmWs;htO^t?lPGZQ1'~1gyhR9Wx\#\ѧs1{Z 7Y5$~vDtig+9`Lq$\8F0۵n &uC^/6/DQA#/)N,6Te8 #mަBZeE+@(Kr^LDstbRPx*D\0ŮT2օQRқsz"Yjo1ZP•7m|((IX=NkMzW);3Xc#E_ $tX Z;gYZ03db9191788ca871f87545107c977ae65775a377 0d5125aa9bf59ed986fa2447e2d3aee33bde4acb 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 358204b158ed33c88ae4c36c3a987ec80fc61c50 7c8676d952f39d885f79b6e02122320813d5dda2 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 fe121be47f872aaa5c07fa25d7f90fd2ce53986e80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65