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 JJ'% $T S Latin_Square:threads=2elapsed=6.584cpu=13.016gc=0.152factor=1.987zXZִF! /v]ŗXf1-/6vRZ(D20"&BI/U19ЮW[1)^ %KK74eRR"oV`Q^~V~WBGd:᪶ojW`SWu=bOoǒ<|MwΞG B%`I3uP}F\|q"ޢ1⾺Uz4Z WsRV%3B. 0FIx- X칽J;.!S.@225hf<dbQD.hq' ori4ʓVdЬyse?\%#gQVGl2 Ʈ>6,vYtK\w.cfebwZΐ[f}w\+3jk/<j½]Ga!ƭGHc%<_\ZFN-]n<: %L I]nz7Aڣ 65;*ckgn#p_i`1ŶMoq5U&S=Hp44yFV a*$M2Vui% o%gPCڈ #,M~$|QFCG]myHH]0<:5 奄e5yNϴ +~ 'aEvM䠵́ 2]Ň% -CCLOˈlT]BqYaX{zu"n:R^?sDK| Zi>u~psD>(\P5AdžF, c #u CR^궩gYZ7zXZִF! '"]ŗXi%S 295-Pkeo % b5oΛIe2y n'Wa#o3nK9;JntwǼSnx>%iWa`=Ac礲ܧ5[9q AWݩ9Q*%eDz+p)hӴ[|ԅR)"i8 2@0dJHyQla jax \ \ɴe~I