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  ttT ]/ DiskPaxos:threads=2elapsed=46.699cpu=75.444gc=1.360factor=1.627zXZִF! )<]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21XG"uBYF^ϖ4J}-K6_gBgkatUPVNXC Z'0\72 ㋲;E"xolTʪ齡\ވm~gz9J>P)ƳM[|* ^|aZ6~BzD#}is ^8 u,)JȵPrӱ3\ 745q2WCQ )KV()47f&njifi O7~ϢT$GNtiR>i#\gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S2a XV1Mg ӟl3# qTyq]fPXvk(~">!N$|0Z}R_ 2=K7qgTjɅCP7!p_U5\5vR hhB/J;2gYZ7zXZִF! 2 ]ŗXi%;E h"MpBOYM\:?YO,:4ܺIjl%6--`q(Z| ^NAJ }C* 's6S:S/Sq?E͎z^k+r02BlwA]5$̮LK \%3u} (CЕNheI3$ˢߦ%J0h2Yf7DiW(bU#^PȌ  k5ZTکJ_1:[WAF/WoK;![!jRTu>afUonOtbytN j$Wչor-}2|.{a)TX*bO>˚(A sPqcb cdNbuIc7oUrv #DYJÌju/pUAtGCćprYZ?:Fg {#Ĺg@ye7doO)6g*/QH>!@{p*#p/]0 UJCP;j(`Ls_z}NGHhWJI8rxH$([ʸyDZn|mv3=>h2NL5-{^´ Л"278\)0lƙ}TapX۱!,R+prZVhWZ*zcD9Mua ;o(0/$ ?fq[oD w=M¸H7sN%ʄv;Z=ڤ/bpw:"F 7p@1f Gg/ӵ)+|{f vͫ$ *Ӄ2ďO^9Ǭ '',÷GÐ i"<5ٿ){a׺(i4U:T`TW}cj9S=H6E9U i#JZ{C5Dcb83;>x~<$t[@Z,fף Tj&J+:I2WxAȼ?ǩ'Ü 2T['-D=}ytq:q iA'p&OoD^SQ4_ 2D5/tx"__mK>MqO& `Gc_ghP'\2r-O2Uh^Yo \qA(?했A ida=Tbe d#tɓkqΌڑ*xҠ (8ȁ9D3aR{ HޭwKq]GW@)4e=ܕ0_1~9t=迹1!@ :RƔp46sL5zJJ||nP@kʝw)*3/绸DVqsbWG=y4f6nx~a4J[ 72]HHTCކ*MOoN J9^(_DȞbQﰄ3a!|@ JMʊ`#gYZd00425fc157ae4a17a8c9a1f6529b5990a7fcc2179d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d