SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 }}xp!^cg[ *{zz:e=rTIbgzKڔe԰Oq?it=ӡO$.d+iZ_;(bBL յqom )ut)3"lJWPrJ5+fɘ~V'48"%0'=_"0:wPI rcgAug8@yC]xTȒHΞ.>UAET̹ #k.wLv_ yM`#`wU@XF) dq'kڹ-pRL RIdN*aꔧ#bq rϬ=IE:AtX nO{69w?OhDً6tF; a4"RNj{Y:"L尭xﹻ0}G%$ogLas=gŵ&}CNO8?p܀ZNpx+捝YyҌ_kmbp^0WQ7X8,":6kkyU6\JYv $/.X2Ȳ͇1([9 UIN&m˃1e]tZlQA[)MzFI/C0<'Ţ|:{?m|]^@W.纛13F4KT"YX5C1r qe9 ɟhTJb,Ą81w!`X, :3Cp+"%>UL!~Z*)r gR!)]~8CόѺ~ZR~# @; }zK]G~z面)BFǎ)]`3t 8]uvK Au]_۔ofR8bA֥R|QnΟaз!_r4BU0P't5&"lc"N=h{͹=Z750×JyƋ ;: ݗBLb1`?VF` * $zo4l |ZPR?!FO #"ɢN5oؔx܁^+\<8hb殝5˺uL1IS}kF)dlj3gYZ7zXZִF! ]ŗXiɟ1Dw7v%[y3Oۼd !A֜P 1WѳhwˊEy+/~r8u=d*84rǐ >)*>]q4A\Bg{3 'X(cn]M>m0R$eͰr <#+XMb֔&WFu"U[qT_uY\%ՒհP-&&q6 0[J[=vtFUK 3ԉ`l@l0Ps%/t G5&(4DԌ"63Y$J4P}EBRU?)rRk⫓~lb(v7+v Ú/^sůp_5i?jm/<ɚ g`\ +:ЎRisԛ"4 ͱgYZ7zXZִF! {]ŗXi%90!/J%ұV\cR)7nA࿽R]XM|Nqa1JVFullI׍g/q]/٥/5WM3qvpٸcx~ohQ[.?t-ϰrʞ '%]bַfpI ZL$t&{pPD[Zc@)(S͠}GNK Q+$S#;J|oxA`1u"%qq~92kVs+IA_Sc+-ahP~D'6N=$K EttS]rZclK| QŦs$yB⤱@ 2ޮfV|/_19&Ds LX>$o /#n'c#h͋oBILU$y6ir] ]d q~e7J4Bu[i*sZ;I޻UT +Z3BAL~˭ )w>6huR35cwRФ r'Y[Z޲52*1_>p,$7<OȡP?!j ޗm\[k7F(ACzwAsh#'‚3uU#Q#̌n&8)[IykMQ/dHq](mw`JMg.ꡖSjz3$Q} =_5!~n;F 3ۆJ [zSqb!Hma/c 0 ;XX@g?TW PB FI}ݟ yҚ؃}S =t#&'_t"-`wNg9DG`}rELC U\EaL|NF;aӉl" f^E4?|R"xM[fdxO -Sڑt,Oe.k^< 9ռkjJ^ t\*uvOuJ-,}?C(-'f| |),D@RHSFoLky҄|F[ݠ"?dOֹ狕fH2hqthixw-P &%zO,5:ݷP°@go5`?v^?2t⬷[j1WCA%%5AN5fʩw: ^\\h7\o] mmAf@ZE1PCц&U+J"[ai_R +\~o8r}mo j"v¤D9cĵm[uOfצ[ '--x@Wtֆp/tBz)Mӗ+,/.E{dtF)rIGSm#-iXy؛{ ԟy&-Ewf1|~gq5P&iVBAZ`tAN-f0G`Pǻ4i:`Yf>t|Tȗ<Գ6B2HUXKfkf<Xi*aܒb9 7yM]_P2;tfb/>z9t4-TZkAuGFiȿfEj[NсI/p%\N6?l7Q/bHzGSjzT4AH[2U-GAM̑1ςI~H?įCX#[h{[@x3w۽k<ʍo͚3揞FhՇ"* yvDtUY~ͨOR['hUr_{Ô1@f7 E{Ѯɦdi0vd W,7dbBHZHӑ\AYCZPuJKۖ0 0Y:g-L}])6?KoK\|O65R r߻jJŤx0<w_,Ӯж4ƎZ[LSI_erjB@9E*F>]b6ř┕=aHՉCLuto_u;T2avM|.l4%* YDЇ/v|K1OTqf~5l1x\WUiaB܊:4~29VMUK `??؆jbf ~c'X& m&l4zwG\9^$ſso0:xqMaq` ?^c%6WW&xnCoM:sZ6eȞr%(joOdգR?a=#sˇ 圌lx֞+`%~3vP$.t`vdeسm8&+W.K{ls$pM& dS%Thzs-pc +ɀTkU,u gUrJU(95Ϣ;eʱ7UU5`G]؎i.h^V,q^]n%8˳8׋vw%n8@?(qb#XJ&Vq#l#dqU}ݘB%cnrF DZ0.IQK D0$ZDa5%^:459ß5Z)%vh͌TV mSg4ܸ &GnS<^Wm 2Iύ7MQG,^4G Qyp5/ riJeN_bW\5 e41`dsG13cKB͗1ħ]i3NC ͠˱!cy휣=xM%/.-}=֪xNS /whv@7ŃJfT&ta3'ʅgf$?7*S@Ίa5o0y>-)YV$k 2x 署Àˇi? ˹Hglп\o߶zB/p"Zgy IN1*+}׉#Y!h76U9}^0ٜ"uNg@w&3 b=@"]FIw]%_nGq/$_`Ywm Bs֏ } :-·{a|-z*Į/|Tq2M5+EXՉ>ѤbAZ zŮGL:ѳM@U~Z(&|]Fj},PXiFtm-= u&Ŕ׻-f5R#&2gYZ39840d9dbd98839d4145b52b0ce70eb3ffa86eb0fa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 7e4070d2ba524418af798ee984dfb220aaec7062