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 RR+ t| ] Tycon:threads=4elapsed=6.732cpu=20.092gc=0.904factor=2.987zXZִF! ]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱa)|RfqW*Er5_ds̟s,v&rF=B+s W}2&x0Vc\9e.w{B8GbxKA.EiývukO _f)hfI/0.Q=dtիPņ]d*:u?&%~{PBx$DLI聮Җh)Р;^8PMG."gYZ7zXZִF! G]ŗXiɟyڳεĬYpa`y[PBIAUK*0=I ?@W- Q:OlD}1y%@IMV=ek ^>bѠL jϳoÏ:''Vʪ[RE_٬.(wȔ* T&Sڮ}KvZJpM{UxmR 2 UDgŔ'P` a%Q62]p伂|:ΡVs6h+O^ hz]%7,T&o@cK A `"r OgEZJ>X9LW 5ru:fY'_sHDOr*:+I*vG7IRqJ3BhK}k2ct6ȆN4dYNװPܨ̒qrowd~%%`OyC?Z" \5,~Ql]@AZ6%A:)( F@rnkYVs=ѐg()k5rːa]bTQM>/b9 U4)޽O}ssh $:U'oJso GeV-ty4?%.ۻơ5̚Ӏʽ1W;v6/@ŗԢۭ%]g/]"gG ~c=bDJ=N'JF)82:CaTbH ?YvTzP7ÿR:Y< >GV5.َv-'iOoX4g N4Z7]Xrp[}li{P1XLs}(=:W}+ ȵ F6k& fQi89?x%*o8HWm稰ZxB(iu+ :i&3Ap;X/?o zkgYZ1804e90d927235dee496b32aa90c3afe2ed202594e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 4bd6aedc7d04acbfa28755f154cbdc648e812c5e  Tycon