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 j l< ]]LTL:threads=2elapsed=30.162cpu=55.292gc=2.988factor=1.837zXZִF! ]ŗXf1-/6vRZ "@`$%$xxLeӇ֩I΋8%ۃNz,ƌQ`Ɓ06,-QiT0ãeIOܬ2I<2 7ou|&~:RF/#*qnG@slU]:&WO@S2VUYmۢFnw1 Yv0}^ M'Ҿn->FYw 蝑?VRس $S%>c)I.aBbFT6cs;DKO `^I @p؋Qx;d+BpAy.ͤ軖 /GN|i4.<^Bwײ(h87׻.@F]:%&4ymA_4G$T˛ouBO`D1B$:@ -*~=aՍD :a…<6U>ֻ2_8ey2yf{R\F+ "fLK3A[3аrۥٶ_tӉ'[4k7id3Z}zq6^uQ+Myz3QN`iZ[%v<@} (o'cdgYZ7zXZִF! p]ŗXiɟVNJ`mÂԭdeca-bˬ:ti.I)Z \Ui[V2 Fh~ozD#Kg ^Ȧ8@UۭJϏ @F}gYZ7zXZִF! ]ŗXi%>g1;*㞺MA0PkeMGf!dn4:mL1|M?ul c/O\)Ԅ :mFD>K $yHCPʖy3TwS$ϖަ(.NMjؔGaOYLĪS) (m #kW|J_3͵LkF={t[Mg~j 49̭s<+oB!cŒV]-ء숖som+m`Bp։љhh0jx\=R=~F+b ;Ldѐ?Ggp D m. rdӈһ0(P`bG[IP# ,W'!~8fK zM,=uN֬aGJ)EuV(5>A儓-~=!M/&/vbpWKzeX<"մxo^Ci%khH%ejld2ϲh V a?J;Z ts&nV%F(kk X): H5kjSTlF6vÜb/Q&qqhWEz-~Ւ#K$x.+#jIG@6o-7'f5l:+D_:/@#̺CUs]$ٖ-\S1 d>Hj0?XL-Ph,Q2lu=V$ G1"!FyUP4v/\4ۂr$&$WP-%kzdw`Am*tE5 /9\1uI_e mp?ju޴WM&3&AtS%c?Iokp,3QOM~'k[T~TɋN՞6˄HwDI[ϙd3OX F rdM΀@3kǩgYZ6a9f7b70bd950cbfbb6daff79a03e45889225e14767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc03a460c2ae42258b9f5ccfc146559c478610388d6  LTL