SQLite format 3@ .0:  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 N/ 4D ]% SDS_Impossibility:threads=4elapsed=36.530cpu=90.600gc=1.080factor=2.487zXZִF! R]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yԗEsgtyDd.7cŀE.z>[,Ј5, G9 0*9fg /mm _3!LѦX+d5ݠLnA8rʙQ `1'2`̌ɻ76!';!LnG1 W>V4r0.7z"^EAZi ߳f[ʹT5DQ̩,h_d&w;ɠ^,W )xc!>7Oz;5yXgYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G EyٿeɎ0944^Fnv*9V5 .֊7CgZ}YZ7zXZִF! ]ŗXi%BȤN֨"V WͺA;KwQIejQ.8GxBeZ3F%BϡA̠& P$/}TF8-,>|Eܢ&[0u] kRH+ОX>dMjY9u.VAdJ*1|vёEYL,K4NC+6s8k?;1f@:{&^O3~) 77^ieGAvUW:(ڂP PK3HHw\e1،"6!(kA+jό9F.)b=ަ!ݗH%o]7IVF8z}0 s~_} $=l"Ĝ͟ H>*#u V[^`w 371+EoKBlC3)\%`Nٖmc`]ml`Yb1U3a9&q=3mwvQY#4gvLD8}KMs*#< W]♞0GU#Lr0\V8XSUΨ^h u*`(X3. Ip5Y8K[{}sB)A*j+QN Z,׍?9!S %n03ւya2lo#~؄]MQT0'S2FN|i>5[j3Ŝz~T94u hyoa?DЊoT#{} 1^|Xk'Mi.lFQEe…SHM~1wMo4BЂmOk9o"2P<"Ȇ Y94Ӓ+P27yhcpn٦5#ڋf#o(LƮ%rAOVЄpҢ?`"dSZ{A "WvE#(/Nh]WmwS5/۷L QQ͘ɚ}gvHq4"oyz@MT&9ކ3Ӭf2됙lyu4 YÉL ~?.Xְ3IzEgM.M nsCjb=\$ OGSqlP:"Y.(%۠VP+ th d Y cďfu: sv{y8fp.aC3vP,k/+NltZ =a#o3YbCvʺԶԮ)Νk$wzM1&+҂_K'Izh+gN[8T˼F-i2!i_DPkum .pp(|iQ#.ٳg >eQ H