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  b b- DC sCLr+ǿ\9p\킅WHZxD>qG3m8?(eE c}5R|FX/ZD86 mn*&hհH$qHG"I)Y--*bu`:6PITe`yV6^+ e#b &t&YFǃҎq< '.:d^ y_kP_tC)9x|qNsqow7ɠRK8';# Amgzf`6YH6z5ͳݺVh#[@|2TBc[|Khm 9lLWpgU\V-dL"y痀:j^=th3)*O1zhD9l8uk a 4.+=c*tP"*5(Oo4/LJy]cS87ѴrVb:T.]b;Ƿ:Irڤkj~GTZrɞI/N?n29f6_B#O?OJ - Tarskis_Geometryr( 2 !追Ds1;?8םLÕԨ$3^C#zTAO|/?- a ;@q~ph۱1;+)尒]Eڪ5T7qK?x56ٗIٽ~=ԞQg8k*r .Q,+I/Q[!̻p}7+2nťAtފ[i~XP}@-H[;'Pȓ }R}CB;M|QSlC0 ɌJL:mAkIW+E_?tH`l& ">yv}B*S1L7sӮ+=#fJ!LױӢvҪܭ^2؎h@x,>`5^8ـ$nȋ[G䚗+ӏ1ԅhpCR։n&g1\Sh$AY?3a\L ±VMs_y=={vao>W S! Gzɚ򊖿s ʛfK_0^[Mx`2Ŋ~`YBiY4=/op k7M(;q/Wݾƚ2{*6wkJ2SLG g_>\=<7 =mW+3N?% ^?e'?'DF&jY]mkD~yP:W]UcXmgG KjEZ, Mq'E6 "*|:8I.\HؕEBJ[5 ["3p)l:b2 or2>j;rifo~-0!*5NIz|$<81n]n{Wnᙝf^4;#^-mko%hr`¸GZ}Mt˔8 +5-Ңi7x)"I~ˀ0JෘnC4o ]~u8052NU^ȍf=Xd#qk#)[b oCMPm':DX`ih,boǑ,+_t5γ `D#8+h *|CsOD{*_ƈR:iiIlixQ&ʽYFi;g2@lslSJRڝduG^ ҔpݶgS=Gd">GMR+ ߠk=01ˀ:^?6l cA^"5moBKFhA.Sk3"\Q+`ӹUxIZdxűz H!QʅivN]}FECd@ad-/\0?xF9ʍGnՎa^<{vJw]"ZjjT oa95Σr2w\B:U<_}-?~20vwP|[Сv*98 Q| LXlh  z^N|<ۏSL\5Fy&obFag^Ŕc|%O,)3}.b(LtŠѤd?ĩXi(9"knb=_UA_ɨ:\< L1ak@?EI%h[?=OH3ozr) X"9{uQ"Ǟl%q߰ 吊Gjѝw*@CSWyX-Hy?h2 TۍŪά 3=nr"^^ޤ=KI39C[M sC$"ؽ&uppO'9gn J=y/ōċ AgF`{uugS;;I?(^QBINc3aK;SӉr|+3nm>":7qZ [m#8{r?(>D6c=s[[F4Mh.Vl| 3 Cabu Uu 4;^;P gjHlT8KчI_5WHҖ/[6~t|hw|7$Nh.9c͖?*B'Q*bʯs8=ñ)}c31gYZ74f26310f51b3083d0d6b2bb7301f2ddae0c7a3479d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 81bf6d9ee28ed1525cff1dc4475a90c408937ec0