SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ``1 d ]]HereditarilyFinite:threads=4elapsed=15.397cpu=40.888gc=1.100factor=2.667zXZִF! x]ŗXf[&pCj;{ <`v 46Cf5jUI2YMV*á uIc`˹B"dگb6b5>HKX HMPw5ˬZ Ucg(V:3 K+ƕ>(GD/ʘ8t0cIT: A&:$EaX |] gC gYZ7zXZִF! ]ŗXiɟ пPTR<6;? Dgϗz9gj Hb mÕfM2R{,Lc>䓙}5^{'}వ ^On˜Gi@f?4P8!Y8:@WgYZ7zXZִF! b]ŗXi%@b_BKI41K;ԽQսf}d?y4Jܩ_L>pi)Q<ٚ@O0eƣIXТ kcӎ( bD0/E~'x~Z=5,Ey ;/"Tle? 8֌l3B~znJc5| ;^`E|v9JwOc#LY'p1<_vyZNNT%/7վQ_ߥn T9M ChztvO+.rL)*6p=s3i&^|)1ǗO|PƯu)Ռy"?R% ^ÐFh0E^v`ƃ79mG4X&*tw׀ gH"(F腿cemK5dv<&2tGNO,puvh.%ie^lN4RLEi_@.ʩ;NoU.CD2hX"r/WC@;Sgd'ʜ3{Lh4h=tt(zbâ?9 l;bӧ?2 ߴk󟍿_,8!?$Pl6x`>Hu^J. όH4/؆9dsBݓ{.a~I\1zB ߺf)Ile /'T> ?E%qV4\&FZgŞU&'Ի+$f6ITB҅~;ۏ2 ֤gYZf915f29a63dcdffddc3ef8f1c70450ad7a1f7ebd31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251acfc08dbe21ba3863640daa88e9e75c51e8411705b 1 HereditarilyFinite