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 U tz#[JvX%Gp6)A1 |jaD}gjG8maB 2dmMQB+x荗$WR  ]\7?kdkbvFg!+;cWQr!J^e޾!\Ť>{k2s"3NHQq4 v! @2r 2ih}fDZH*HY7bst5NO^N+Ě{3(UJ { D=U/:(c'VŊsoFNf3utmj! "iqY/UF? v*7gQs wÉݠկڄ$&4.ckOfT6#*C3կ} /_'D7aIROM`)Y=gD0Y.A |%&z Uk?,h=f^<9F§0QC=IҼRu#>E%&rZQ[n%Zq7/S4_d9HU KDԶ&șĆt )@w @c7rZD~ۖݜ\xB<qw,h9cНMV Y8 P >ӐmE]lNj.OInrH<$\>avYrTtm -Z1FA /-[rǾ;9ScI2u%wBԺb6\B|չˡnG9 _?gYZ7zXZִF! ;]ŗXiɟ1'x^܎c(v2b;*dnf@&(59MBdMg.wiPw{_NVMiWy*{jp>$f;I(#*.uFgbWM  xxNH5J ?Чə3ǸgYZ7zXZִF! W]ŗXi%9(Io7 pWOa,@4f%HB&eSb-in4Hz?lulhVWVu[sY,:l!ӂ۷tQ'CۿH[liVccw&9^’$E*k5q=Ƭ"z?PG|MB vO9x.NVy;Rnt9|'l(wsw&O'afC˟D݃d5XgikYʃBfcVOǭ_Tƪ1*AOӝM2@l%bRӟzSClmDt5fiTYIܩL/r <=(w̢ߗ"Jz*ɓw(+[/+D6tyRMkPͮКAȄx9Ti!gTFtZ]f5(@3裀Cwg(7]uàM1D[W "aLV8f<;Gr9>2Xhh=ўiX/ebi\&p<|I@x Z3)SI3pZc~K~wS~j6(@p;M}p~Mvm/!4t?L2s`jA|>%->#dNL 5 6_;-"χnJ= 5MP? { $xMl0L9yz[A|ObN0`-Ng#Fi aji< 'ݯ~ aH of>Nx ďgf=y!BsMleА`ƒ0$ˉ>99lbkՄJp7d?&M6A=|2$Mc]\T]EJM,cD#tbX{۸ :g/H᧒β00mGO[-/:bg;¡hdVt]?`+'z11ݽwORNyШi`5]1iϗ=(;ym:rb'TLCsfl {ۚ%{*Cġǘ cs/%2!ZoG+-KR#F-:8y2֞hF6 ;6Ӊ۝F \B" _r[!YPN?H_ ]ZBOew1BJxyҼLLI5^^O+-\4E)8a. l i;+ v:1n; \12*}>Vk6c *-PP=}Z6P;' H뼀%0,aX Ȫ_nfIχe xT5 (} ~ 4/dwYR\f˱MxrnhpW >OpGȨS;b8'2='Nj8ļH8&d` Z,#_ 7D\ߧq>A8 <ƉMHWs;-S8ˎfqu*;M#9-t AzE-lI9E0}gۮ[H0"@)`!9I.$xE%z  h@?]blHY" /b(ǃ ۯ$kgYZ4dae4deb5a0ad2a82688f1283d5238ada15021d6247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487a 24c9ad8d0282f4fa600656d69b0c756f39f48b48 f305053605874ba25ad0fcfdd05f0a9b96577f0f