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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info zC ,| ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.871cpu=14.976gc=0.724factor=1.907zXZ ִF ! ;] ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI AZQ'Yw3@pE=N.:ﭷޘЊ1Xm©GD&-"!Lb4OْQC@npQN&TEn.3pL uƧȖ@ .=zCm O[LU9=A~E`nҫ[g^v.0+g ީW#cMofK)ʕlmǗ>T\ y~@2P@P\~@:LF.g賴^)w1IqTʹdyȝAH9`cj 1. v ttg YZ7zXZ ִF ! n ] ŗXiɟF Tp>>cP$qXLE۵YUTӦt~Y R>T^5t4H'H^C1fR4>]gh(Fx"ĔYBUӤ~4X Wo/H?9E^9v$XD 両5V~[ [Вj _ʷg YZ7zXZ ִF ! 7=] ŗXi%;˳Ί\Dz0uOIZҿ* yjoJsvڴrUyނę.`};Y?~Λ?0P[fCHG}." uJ&MB1#tteƞGW 6@̪]u:5*hME^7#AF(VV S/%S8M𰫁=Rd qqu4IpχU Ͻ~0^x͑B8[ozV3m_ qI