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 %%HA $< /]Typeclass_Hierarchy_Basics:threads=2elapsed=10.380cpu=19.172gc=0.816factor=1.857zXZִF! b ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*X/?kcgVMk$'D{ҝ/pN0125HԎx-G4W+HͶPm,[r @F٘z׳yOoDM6eC_j)!9+|)02?O@dkXnH_E ThڨͫhyɀܽcA V$ 2}.NbDJ&#t2{ #yl¡qaFh=8jhYE`CC/t6M*y &DE; kpXِ'hD\Ai4U!>*qYZhFqSٜ%L5E8F/Iz~ÒNqݍh(>15*MюrZ:qߚ N\u_՜bŮ0sWI'JaU<["NM?cdDGKPN7iګB 9{1s5[-m:zH{x^ A Typeclass_Hierarchy_BasicslFT[݉B7 x-$L&JO(ߓ}KGߚŤۿ+]١[eހ`!xe] sr=56{;4o<7@:ov7Ep*7J0F6Ƿ7Aaa2N7{IձZj)((')!zVx)v\IO]|vɱB4mZE$| 5gVqg,vÐxh ޛQ֪ uP}ez {8Z(ӡwQnHEoM^#"i8R&;%G>r ޖc-;Q6%9}5֝)Cc}|/Kpa_osL kE|(BTWZ$5sO,ۛsᱭrFD累6Ği>␖qRۓ"BFKxc\Xol%m(~ҵV*ކ%ogc̳:J*';^uZ d}wAP/2bwrdi0j6TW)QU* y|61$T]Fv,äQ_4dUD\Z5T+MT6Vb DTX%{avЈc{*쮖 PKui:ytlXn=!1`m x*5Sv" @ir!3q_oSsXxc{G`/7 Rm+yޘcӯp{ Bm Wq0U^TG!jW̪d.0z`L1gmc9(ftɝXL?bWD >yƊt2"{тꘟs޷4?î(r Prek ꆪ z{YVj'tW&!:n|WKIu;-tҵH⼜|ݦvo䵝㐫; $8?E>@þ4H\stB  *6ԇ"T3 m|nT˻̟"rHv3͍2R2ir[D D_4 6ݿ]tg*R|A)@}1kH=&h0=׍n, `9úCQin*|!b SU<~)%' /F̠~ͅy#zoئ/(o\'( w]~:`~BiPG6 h;I[xUǻ9sUdBhIՁ1-kݝ=vĢ j{}kIyDTI`ڝr~N=OL9Rkm×^;w+\>PUl"609!ee?"HOZCbXQ7gYZ7zXZִF! 1%]ŗXi%B) XlL ]2E1YDV8jO*uGeARO$5;A|CYwt~D%aBkWJ u1fPm"~P'8f&FӈNn]:rO[ 8}5'0?5 ΛP5j\$7OMF ^o`B!7fNp^S1zV5*>ڶyŀv{A;} ,kۈJQYmv70!A[ ڦ z/UtcMgU5.P7u9\VO{T&Lru)ul:iyrM٣d!>ZL_f5[x @@Lǟf#x\/6@b@C <}|`}k)c-kt`CC!CZBBs*O1Ff11pL'I #2ĝ@$ξX51R$$VVd?}K`[@w[aZ(F7:jd1(fA@O>9"SUU n.]"񀔖G5/jzO%;='1~BxyrK{QtմpQ% \+uU4ˉj!Nuinn2@V2pn>0Ν9b?Hwv g,Chn~lst]@Դ\5ㄹX,"♚p//vj*Tc bnO)hYub$$gYZ0024c75b9c49bf114f7dd95cfc1cb2ffde45fe68 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 923347dea834937d0402a03359cf28ce8b41080b a6d881014016ac510413e96c94577bf126ea335f caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bb014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afaea4be248bf7a431f4efcdc58ff42701686cb155a