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 [A l /]Typeclass_Hierarchy_Basics:threads=2elapsed=9.984cpu=18.200gc=0.768factor=1.827zXZִF! _]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*/"nax 7-P+yP)[X!wi=CQ..Bz~h~dSI`^ wV[@^AX/ uo$3]ue 99 `-zIbwMeN?j1WRZs4l.tg3n>|J UKÁD@^RBl/>!_8mq^I{kR4)M/z$vY鱓C[pM%c!N6ǒ !cC^l8C PAJփC0+tK]bS:8)N8*zYJ0oᠭx" 4p]J]OYp Qf=o⡞::ik8` A Typeclass_Hierarchy_Basics}nutd ƒ P<P4xWĚN[P˸*+pH)|%L"g%D71Jr t1+j^O[O0l2\5{X6^ I-iq8 E,z\^w&˺WH'yxYo NX%X$jjYڅy3S w&W+aTSGT-ŏ˖'`$? U\hўn$.x3r)T:r~9w9"MD6)}N1'DPKyRNLD1;6pbnbgGsˣ0E)ut ;sNTӄˇ~bcnXȃdA}Di[_t3 >nvؘVqT&xmD^yxo:b$4\ $cMCBiiĚܰ4}v'&.oW$ >JIZ0P丩0ejw (g`Ub=׳fEŏ[ɥHV>wPѹl:tGElwDī:z>oJ[3BGoBқi/'`%Q8Hv\[a[՞ZcSxO:X^|-!v!S0*`@ w>ԓ L|q/)dHd ̢s dy-P6Do|xV8+h$9ň]Gu {BqgeXSiKrlTםqaߵPӍU:WW⏥)Qf>kχ:E}QE v^Z<"q =y;Qz^ݒP_%8 Evj߳Y:$,/ufp w % o (q2s _ ['p[S;Tזo&۴h +H,jRJ8h8v3dHcZbl~@am@G2lj‹C} $4o$u2My`1FYɄjt毈9OgBXη$$Pca[@7y&_puԜ 8Ş@F ^0uir-2/9h+S$D:SW$R#7liqb*)4wdE?{ {Şi+M|S;>$jW ǑCŝRc2`+,Jr5b̩qih^#H/<]>Jlidp݁?a%{{U$Raᄀ`K &nz!6\u%\{DEZ% "bDNCQÙZpLOGJSō;gYZ7zXZִF! .o]ŗXi%BWQ5ZdzF@@(LV D/F90qqI$g ܨ Pa<8?<hjO$\wz`q\V 0aD$ȹpK#Ь봽R͢0Βz`1K܁)Orsѓ k&EYnR@G] se7%Ķv" 'sW y GcA.dƎͲsH98ي W+P5KG!\ qUA/fЍ,mg|teYB+!6擼(-JoNEUD]%ZkɆ0I2 :)h!o ܖ9ևMdBCU,j~?^Ljì/ڃ5X *1h^Bx\%1".p@Cq1Yr4-_*a/J4ln!I8thU~{[mf!?"c1Tk c(` TQ.E<2 4hш "_o93JD vOv_8^l4;;h֯-NbMՇ\ O~ yszSFG0D{KZx]`ww6yE]90/K bNH9r|t{Doy>djVHОJA T0Z,&sdG3%{lJ/!?|;_/Y8L@uIaMSRDi(Ƽ=&[Iq 2w?VpM]q0XgYZ0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 923347dea834937d0402a03359cf28ce8b41080b a6d881014016ac510413e96c94577bf126ea335f caacb35c29703bbfaf97def2c6a4d89fb8afad08 f2ed109a64b4e24451919908b26704959559d7a8 fd2b02dded527fdedfb330e24b0df02361aff2bb1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54baa45b678a6da06bbb9d1fb43978f40b313c536d8