SQLite format 3@ .;  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 _ l,\ ]/]HOLCF:threads=6elapsed=12.850cpu=41.572gc=2.836factor=3.247zXZִF! =]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ iMo|U2a0?Xo3GnGHU(# aopYls?[Z H4LQ=}JJ_Ed? .յ-6dB-/$hS0ي#` T̐_$ܽ[jkHɠznr /P|fa Q6-eo/ز _M>(Dl j5xծ w# )T2xK>0#CܠbHCY졄3a1켲#ץ)%=+%UN [.&BLqo&r{U { ~ך?L'o\7| kgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]mOai_߸ridU̐j!xVBcw]4l&l*TWPR˹t,z\$5##rn]PP T :"$si,VX\cxY%*$VLa>JhV&1S@' >vho:Flvڍ 6W8;"=LM@ $̑Z%fQvR2}5=0'w>fy2F04>!w6Ǧd5iuqǰo@3X1r*& 0@ޤ n]t[t@&HP/f,@޲9ܵ*"ϟׁsJcH辚1*L}@]IQeALw>gYZ7zXZִF! H']ŗXi%Loc|\yr.)ːLi@$жuhbSRL fĔ-;TCQ j]g6EQ&k;dBpG.?׵6{P,axOUiQ83 ~k D!oiT i@TKjm! t;buw5܎Q2$t;b'q_¾ ]O%߲CJ.[htVZt i.1b#zaeR&A3AT 6%K[u;4DtRߊ׆cXbuΞn&N11`5訾O8;`ɖ-yF͇y`w(#9e*־2lrp8>r/ ^T(PxZP,Olov%S5K~h!GhN>B&v'.##)$jXWiI *d1R\,vu8h'B{iWn<2y=9Ӄ|S@ [s1Jqҧ u=j|J*<ΊFaqSYFA U]loҥxq.Wڛ8;q<7"WyvճZ8өC¼ K}k|B:{HܶylI, 2%6Z**>.om{3|*b0Iuk+?ʔ׶?8rL%c7sX{Aˋdj"|x~VVp5v<.< _^oy1isomS=w%('T"t4; nhZo9_3RK ى5dBF%_Boc&ٺt:C @iF4uyʑs|8&?u-|\03c9Z YO:ċ`d02nN L =SPo6jTXmH@!?kZ#'g !}dجub\1o9K^prq߹ÝC|~L+3M>,2H%d^QG&:jb59 0]R"|%E'~UT͌^6~p$J+hn"/v_`} z|