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  1 t w/ RefinementReactive:threads=2elapsed=15.869cpu=21.332gc=0.416factor=1.347zXZִF! D]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguqH -RDpp3{\rK!U^Jr8D;gɳ{b']`tSg:tI<}*+e-9a- )ZO@_/L~]gn>b=Fi2Ly6 |\,߱?Lrn_x:!/(S; Eb]QQ~2<~_]Ka|/ Uy=4e֧T'TyU M F|r(}=3f(s=zzRɆVawE9-J:DleeS6UP]^o1"`BIR72}=_KU1d䋿RP/[-9&BN;N!}YQ  ]AXD奼_CjI;Dg6 S%, afB۔ʛ?۴i_ P)PzYτ-"u41E+F  齅f*\YJ2h~4.]h9 w7;Rz}.bW b#'"KѥUDKk7no8?AlpUt&{^9,/ &{ANSq9?ܭ϶D"X<oEXt0BF"ޏum5#n%+*n-cl -DCNd@dha1b/X` Y^{, 2=P'|=}QGQrρp3b6{AxPo^b>?*E ۭikgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 1 RefinementReactive