SQLite format 3@ .0:  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 j 4L ] ZF-UNITY:threads=6elapsed=5.554cpu=29.740gc=1.180factor=5.357zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b SJuS4EGExc#!|%UShbsAq#)I!e;>u&3yke|'"+yx\V8方uխ+¨L"ˀadQܡXbb+Vn鋑>tQ {gsNF;"}^k?N_axBE5uB É e cWZ`2a5ՠU\͔Q!qc₶{7 `(sCAYڜ0p6t'gMJ辂xbX4lOg?.AHDj'v;ylDi&_l ,O~Qa?XYM9.ء ||Z-s601؏7Qf5irlU)% W;V>C" kt2{*L{CQ4tMOuZ'D7wZ`<܊hS꾪/D:TKrpȵ뤚'_8Us1nF#D}l1X*(Nw]|Dq` %}gYZ7zXZִF! ]ŗXi%$Yn~܄ j1ց4psyXq]Ns̺Kffa=;p_=\@^`13;X7j|ziմ 꾍T#N_AN:0MnGOzP2hJe@]wDӂoaiDPB`fИ|rުeɲcS4eAT"ëO8F;2DB'G\:b&wM*nh=܌<\C.k4@JiocAP >EC8iRT,蠐1iwO5R.6t+7la0 Ēd =aGoo>:h@ Y鞤R{kb&6ܾc*=W?EdDMлD<^FAA4t=wyk\ٸįd׀F@O}ꂡUƍ{2 Q0!GeZbPfk`|b)|CU >xÇܪWT/*VACF"K^@}Z#aK6)ߣJ`lwBA+"iZnL؋PTfᆄ"7r /6dKiRay8D|Blys#{,|+6) a $5 L^IB[l7JNx< r(59g_x .}b̾H.JеN%Ӕ6<6ZG@C<`YWv6tA^}2yunu%-BڴtߚDI^Đ>{² Ύv#`rӎ2~Ve_pB.tBZ*aMcGb5 =+gYZ2cb8161d2ee14992bd3be8e96cd338091dbbea5875f3f49252de203c33a45106d34066835c922023 5521bee7592b4606a824526c3835813464d4c23f 082a374e71ffeee1e849f305674b7a90e19ec002   ZF-UNITY