SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   r T< ] ZF-UNITY:threads=6elapsed=5.938cpu=31.144gc=1.292factor=5.257zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9-Ț8֝\ܩfc Ss%ayQrv|.|LGNU&ˤ4Ć,UqÝb6p7?; q9L;0\ҌUz.WO6#TUen?Bʧb8]{ioކ~>[w)0gYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&~+0Kژ8<"VP2 0اh1d7aKЉ˃8VXx^oOAwEzjέc"эy5"-P[J!j H)EdvI|ؗu |QSfY?-`@ *yׄo(*3lWNi9+9٥9rUuW8ڇFmvjDWo+^A$ٗphϯInf8 aVݝ(|F `-c3JWY~_~,EJRuaC&WF 1jWF= Jx0y(5N.ok\2V4.w"$A+e%dZ5T: C͛<+8y{l\w.{fuT; `΍%4;kn;zi=C|j&ՍSj[]ZJ_*{ &gE˛~Z/F&}]d +/.R`C Эn3fދR!X=Z7扭5کM@$"Iĩ\ Rq<+J8K[%=@̦df%x)E$΋C^}jܓQա15JFA*EJQiYoc՚:)z@ƅ;nĶ۽S?w1(O,LKSXVp[Jk?^6֪T4lq'V$iLj:pO+1,sk" 5c[j8uMMםeD> bF'_"qY%J |qe13WWC;}VěEkǗ)dU*TR)SJ׬?YٛR08,ڷB("x2F -/tD-1󞈋'H1gYZ1d229bcfd0be303cc94a80ae8b916ef3811226488a6a1967a85148d05149fc8f258f22e5ae5ca538 cd2d5ded4cfbe6657bad39b2b1aaba48385406b5 87d44f9c409aad20aaf99d4a5a766f19fe847853   ZF-UNITY