SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 l% LSDv%mrFF1.3耪/x~MHS"1s7`x8S ] bq#6g,E-g۵P/>es`a]Ǽ?"X | ;V9f^.wgyn]$y>B0Pd=l%J5#B51bfNKV9-%z}&@^,M\hVHXA=ϭ[ W>ώa2^9]?{ȻPTmu׉fGs1QۑbqвXRbItagYZ7zXZִF! 5]ŗXi%>q\6P1P^dgDhܨμvVKfOa :LFu#Om&s30 $ɩDD喛@2Yn-NneK'Y}{؜H)ljiO\-5=X=Hq3r%1m~\+?Yt[AAlD6" U@1G,wgK)$O#R1TV w +F.Hk$/:LMbFNUJڑMR PӬ9ᔀN=L-oMtRvP :y{G0$^qZ٩oH.W흮. jt>tS[F@r ~"$坪L\k:BLJ`>g7[>ŵ,UD\͑/Yʕc k-eF|vϊK7k̺oR[uFz)7`q7-=a;C/ hRSHjG[`.N=!Sod2t'.G9qw<ҽ$b`ϑ*0v 饅~5Xƿ$7M,+;N\^dc9ѫ!8]w@t;F ik<@~bڔm`ۺ,[3Y|>Nha=r`o'>$Zc{/"BR6C# Цdrڗ F짥@$|P.Qbw>RtAB:ȊqfZ"ck q:5ڷnn[ !=9{aXE:ɹ7>T-x#aLf1 dߜn>k(fvֱgYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 2763c8b1569066e01cd44aaf0d1f878ed49f778f 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457