SQLite format 3@ .  YYQ77Atableisabelle_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, "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  q)T4 S Card_Multisets:threads=2elapsed=2.126cpu=2.656gc=0.000factor=1.257zXZִF! a]ŗXf1-/6vRZy_Ĭmu uS@!bV(\^gp@T>N,*P9f ]KK}ܰgYZ7zXZִF! ]ŗXi%6t>4YhI:x0fBb,b󺯑mN\be}$lcOAĈl a]h~ @_ZȺH|NЙĻ#s%a9E-j27@Mh06 ] ;],fXȋ<1p|k={=5f؋|T1qE(tc[^UY`T3RF,-$V^=W.d̃ȡ+ nBk{ "pD` :v}Åj sz\?&78MM\$3Q mI,rοDf9\;Nߣ$Z#@4/Iw`?rno(ѬTZodL4zl(1wL Xӹ>( M_:矖d7H"oBQ^C;K+n>V Hҷa<;>Q0͞jb0fV:x.*.$cb_),~gYZ17121d1b0efff645d67c12f006d70e5e1a0ff510 6d78510687836311fad9b59e5b1570f50411836b 88bb82c696e9f8c1993baf814aa8dc1a6705f83a dd88f7e0a6539bc051c8f084e89ecfe207dff28db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 ) Card_Multisets