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 9#4L ]/]HOL-Library:threads=4elapsed=188.465cpu=663.440gc=41.932factor=3.527zXZ ִF ! 6IS] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &Wd=x4jA%,>=/<ܳփN77(ф\1= c鹹;?ݷ$YQy==Pl=hȤJ 3.H(X/=`f'TXM7-ΧB w!ZTnAwma/o~@s0cla&锍i'qzgO DaBY 1O./E2wp4i9Hcf,mu3d;P@Z?8!(Eʔ:RUQ~?9;x0g+ {4j>m@ Z9ɦP|^zֳtmƲ r@P]vtl=9]3td0"6 FLsuؕ!An 3T]ŭR~t8!"PRTBΜ9Hk; v0˭B ˻[NVڍzK^1G1 Ň%qGW# ytqD#az~㜛qm0:;>2oz%dk^kܠ.B =wewg-Ў)zNUF(H@QPP %)zue/Eiݶxa!Dͦaǀ5 ,4u0fy(H8d6 $88AQ-u&6ȨWv0F}icHT#Vv9wl@K5M<4+N[ێDu_}lXbʕEgBQMƽ`<{9͙\x݆FBs9(>wP-[PPDNVLPTo}Q6Q40?z{> -i]AiإK傊 ݂ |c6{Sm9:践~'@F?"XQ"n\@Rrzy}G?/pKMamƂv>nNI=Nm3pҤX DMDuF-r1`dY P! k6=uh9ug"?8H!&-tU