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 !!\ D ] Datatypes:threads=2elapsed=38.056cpu=57.652gc=4.504factor=1.517zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$bޡ7,CSx7 ;G1H"GӪe!Mnm[\ RlW!B)ڨ+Wxm Oq >*MKS CM%vre8٢$LJzqLeҮQ >kKDZY!v\a[e={`?_{-rl4r%' c5_0#d ە57\j|!@N6],=HLrCIVA*%b ƕ:q |77'w>-P6ȗYP C(`-GKT~ژeUY-΅XeOc4 ܥG 7 Kq'G+^J _@r2'v"uTG[~bI i kjטa5#'C]%J4{* a >\:6[j940~TBAB.x`+!ʯ\꿱a)lma<3?H}2dw} Ļ 5#hƁfD3&;Df1)$@[Sז-bmgYZ7zXZִF! \]ŗXiɟ&zLoj:eh2Ī 2{h|e Ш 5cFa`]ݮn&fdSLYP_/^HD70]lʮDP^9,,&9l+=E2GDž)8uT@f:>=R}ܹR=0Ӿ:+%+ 0xF'laN{~-L'Bd>.'v#)1a8h+uh6q^WD,jrU(I5*iQ"'Y<-LWv/ >ة8ԉv'F]1/ꋵH{ixLx$ @(Ej(K('@d"a nᮕJ;Jrr3#:Lrwb@n'%]o6f>plf>#yUk )忍 vAŰ+ FCmO| [Յ^hK׵%?1>%?O8E¯xfnK^es- 4j M7N'Ki7` msC-eex';Yyjo?zuuSpߵuzo~aq3,;Dmv (Nw;mU΋.~،ErޱmFuj}Iߥ 7B$f֑\'J&`fTj\[c,OɹUa%rm2.ASTE?ap&7i5(&}6F(0^H_.HyS4鑑|iYLmO0ѳ;OgYd#%ؠ󇂶l6ԗĺ ylxMlfG:[B"¿+~1XIY܊~Tf).+* eB ^{M\Fv| q1 75*݋Po4?[ _7a6>L\>𪊧׺*tvR T%rn(jS޸*ĒlիN y TqC EPZ8R3SI1jhLT:wk$Á͆Qw>Z'9Bk wz#c *r5 O.<]].(шEH Nu  5iyJb^?Iyg6X]+Q2U20I\Dfi[= >VBO9aÇI`R!H:;%ՀT@޴}}1ƴ@ʹF~K8G M~3|J\-D,ƹSiK z54ⷖJ&:T ,|Wv%lVSW=Q}w5ҭL)Nd ?7=}܏5y/).(."!i?Th߱gYZe4cfb34aab2462b1427c78c9d48225c97954560162b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02   Datatypes