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 a- L| m HOL-SET_Protocol:threads=6elapsed=21.954cpu=90.484gc=2.140factor=4.127zXZִF! p~]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+k1 ; lن$6d߈nzr *̢pegZ+VQSk::CKѷa6A͒"C ]s_4#Z;3DLoW=؀8-mM\F!zL\bbz4<&;'< ݌s;$ M4gc[[Rg;(cu - HOL-SET_Protocolq]hG*2-%RjN;Z|}r$)4"I0Pˆj=+>c_ҒmJBe7崮b>3`̮RQ?q4Fԍr=Gl:d|e}ص &֡)%|[.Mɋ/ *VAjh,G/Ǣ >D-GT)Nu4z!e4q Sh2Ul >iX75ӷn&eEsD$o4KXmNdfsIDk@ͥǏT p}Gqx@7^ |57$JN#T %"Y X)Y7)=~J |9 RQʷ1M<]mOz'kaac&fRa䴉 Y3Do-H6]@N`^;Sɮ<ު"Z%Pis~9a+M ;  m)n0Ib'/.w|{q0%DO.]Dʈ|UkyUB+d1pMuժV(eSrmҺ{\ ~>|%Vʹ\ۭ֚`Y%[J2}  Sžq^ $\$R)M|7߀ؓ[z I xEi@|W2g{o"TPxռŲ%v)Л-nNJJoZorqe*@fwhw*Hwꊅ;Nmн"sΛGogu1 U_cPv36\\5L.At~h^t8͊uى(I̹ZtP Y?!y] uW˹_)<Qvm %*:b.(5ܟ}c4o:KF B'PH34&ڨ8L ,CTf]-qN 䈆 3"xQ؊&~s-62\qwS!L{b~VӶSy>w~ "N9n Q899Opխh0i2Xr`O)~)1_Q`jH2>J%'[hO)׉ۺh^ ^qcSNy8[#gݮ:lL+9T,V^V^aΌSlRw?%SKskM+?+-N]`p90#R{oCCHllϒ_r@>r74'Qgh%%ŝIDf cFx;-A4! lSfAt(")0 9/D]8j:߫9ou!]@%\S ì˵ 5(9_CVk%!)"|kSBi2S$>3IɀGӤH 2:ؗr\UbǪG K="A^.c&[6C=jTCRkJ'  KB!&1JFC^/|ӓso~l{%dRZAC`@&Tbz2Α^&>*JyG.WU[-bi@BQBFDYgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadca1928f7c989af1417cf803dff1d0e4d37d201bdd 4cac7c9872c9950110e20ff72a2a8049c87d07ed ef31981958657e2fc51f4a91cd689159b9b9d924