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 RR+ L, ]/]HOLCF:threads=2elapsed=18.116cpu=35.928gc=2.424factor=1.987zXZִF! )]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JѦV@n 55,8f",V'qadb\|Ѩg8S w3%2;@xdB\=-~l3m08@Su^tMYRˎ en8UD= 6Az) F7_;'ķdj$L\;w^],}lRo;ָ1jjX$fٓZ_ [|99nL[;zO@R(YoMI"Ib!X 82RwCʻ?AbQ k+DYiȞxT&95 tͮ$,vDZ1ހ0˗,x80H4.;IH|HD@uv3A4'z})?!DmT7Q> \)=fnwa~|< j?,z,KS,[O ?p!leuC3[`+F\GpE^pWF{7ρ p!ڐEM?|+2Zi̛;`ob`F*U25HLUKx2ʶG=N)q>A򁜴-J ?gYZ7zXZִF! N]ŗXiɟ1˦r~KunύNN{]J?0;.!t."IRo1,RcTpzn8%TmO.O8YA?>.BMLj l\fCkv=oP`Ca0n1aGe `>6A܎%O} lXܲ˶5)F|,S”LO*vX BևbD[)\ shE Wk T)n,A3)@_3a=#NHŜGr }?d*s𪷂 628Ǟq@eIunSsEѨ+(^bӖY|$bM a-=Jgg[Bij3&7bcZH[0Uit h<&/ځ(O(r @F3ͤTL~\rO l`D5PqPb#?#t\zsi/34?'wV :Ob1#G3NӲ oxǗ_ƨ B.x22W_8~V1㉃B[XOUcu(ї(_'+&f#;PŜ< imQԁXܚ? J(I*]UK .&_ˏ^VZah/9ɉQ:͟M}mV# z5#t/i۾r)o{W't`<ꗲɡ!)t|϶QpLgz #aƮΈ[L\M808ޠԆR"[~+"lʕ1O|q8אXUDUQJ* ?Kڭbt@ gBsUP׋ٝ5bU53f[3MUjyGhSqTNw-;#5xDj4;4vEU==18͕a"ó" r" ]?pHMeIoMЙ[qJ>%Kټ  CS2c3(PhyT+~k6 oނ«2lUW^;“vB Ծ[ ([.PO EU0p#'pU`] ʈ'sA(2J@[>dZhr'm,a DrA.2ςh%nMegtRm`^wTtJ#ձʷJUUti l|l{ ~ H~<# /7x}R~/iG]7++!>AHnW쉂 (I0e18D?<*y3/k6/