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 ] |$ w/ Trie:threads=2elapsed=22.575cpu=27.808gc=1.168factor=1.237zXZִF! )h]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,|6Թ1 W3ukڄX:qYBg+^1qh-:)+Y ^c_zw+a_uB%ձʭz.98 J=]hR ?stHO !E7^?1lJX;lA*sbq (Ǩkw1 GJboJT]n]gTj4`\Hߐ,l<"1 4c~4sIv-=ԦڽM6#fgZ@*J' nH-\=\&m 44}>:an3hOIVV= .u<J)'@DIz  Trie*/S#?8#EB=w+:ruB RPjξ0}D] j+?#jLN[ zJUe  >N8O~XʃZC@tq4 Z<4-/( ~ҰZ)x8gBģhCvxP,mNu)kO>ewq{c uY:kWsۊ${&H{))+ X᝱RgYZ7zXZִF! uK]ŗXi%HQŧnBۍCCVcw Y:Q6WT&H_H![}u\]S2sQb="(#ߨ=B.$UƴPaP7ǫŃ`VAee9Ÿ #S .P n"~4㤖苔wލOQ(c&Ĵ߾. iLgŝ)<[:sjL⧽soKynΟ4A>sW(M՞Sˆx0Ó!N[0Y¼pKֻ{s(5Ur:lzB*1yJ,1NX<~^Yi-%NV \uh.u[(, OӺKݖ1B%ʱ Ŏu=. 1fL&ljZFyq|7qvY{6D}/iJ A啳 Tc Y2.ֽSayw`خ10_{kf#$H"nYi ->j\lp\n'z4»%L 4a{C!8RvHSԈHU1h8!гb孆kҔ'U~ mm36k!)+/is'ö3̟Ԃ%1?s0UOGm̺2r;Z˾qIM ޙ+|gwbj^85Oh#C$I7g@/a3 &ġ[AuTgޱ2E(Z-Ҿ '!+bY{0pA$sȨ|Vd2Bq{|ꤴdzLE\?̶P|f8]-]?0H"38`_!rS4