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  H H-?|DT ]]HOL-Computational_Algebra:threads=6elapsed=34.414cpu=129.100gc=5.712factor=3.757zXZִF! 28]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻޵;=SyI@P`s_/#&0F(;u*O6l{UIB &}zދQ+b1m|+[dڪ#[f䟘7!ڵ>)Pe?xئs# "SvF@. 6@_1`^g0>E4m˄fm7JtN6PdYJo",?ȃ0iR❔r" |eT( c"eG6/Z :^DlC7sR]xKAkL%vRcV?q TmrX(M96tW,r-nJ >Js:5kN5ޑ RP̼M܀}6鴊_(KP{I3'B=)$U)sz ̧ѿ5O?Iycg@Wh6īM_ŪVLv*K+6SFL0OHۆYj,\3SǢ&lK ˪0LQkhɠۢmĖWCWiow7sm֖!ܐ$^qtB: ISwE62hHmMԙ?!f8e9;; 2 n}J_@o{> (P?eNy'6N ? HOL-Computational_Algebra  =TpQxC.8JU_~P^\4,:}au[Pʝ[h^gs\ༀE_DV&f i3ѨCx'$P*)!,@|b׀a7p +9.L)ݬuqOx䱠KyvMk_Il|<@F*KHKuA[ ۜ^ }bVsvYƧ+k=SnԦu`~Lc SO0[\[D}۴KV,,!*:eX4(6=[ ,r/,:WZ-iz]m+5S|K첦q?'pmqQݓyˎWSSwp/L! :tx.e1Fg?/+)O`ZE~ Āa;6p9o `alI Ď@-`w "6{Ѿ?H1'1rȺJf>1ٌPC^;& 4 &0뾐6ckY")~q<IW߹[`!~#*w2J(&(a7n&bD͕gHMOmP ݳ_yE$&9w Uss, ۲o{~i,Hɐ 1c R:r3@3s>r鞼ƨG9["l,ċ$\`y:^}@-ȔNIB *uȫ͇4Kΐ!{t9b=Yx2d )\;13a}PjVLFI4[oXJH_DkOW۵ȮkZ0+Ò(:W.aLjҢr3b*elӫiȅCTqw0vLҭڙȰ>ݎꛜ8rz_[;[7T[ܮs܍Ѓoә^|Ύ ٪Ydy".oFP>~.x uԿd*7֍JdO4tmJ .`OJU7@dCWADy #&e=-M3+meYޕjN!ixtC0D 2xIUo#ny`ºmdZt%Nn: yɄX쟦wO1«Z}NmtwBuýÆҡ'҈&e¢JTJNfZN!*:@Ε?-#&K:Lk26+c~,`+H'1_.p_mJA$#j&Yg2Z_u'Ge=g͂b7@T>jg鉢-jVg,}B h%t^h f+NDwswʚzkrZwi߀q&oXŲ,?t3`BT1YJ&#. Sy5߀ vngmϻ Kp ^,sO*?vV)YnEz|AkEwPR6~Q۬ g÷6B-R4UNzU<˽p=#!v!gepw"8L>/p/v3oo6m8HWU>/SFp>SR&x'pSю+2&Q%D9Y:%G6ʳs쫗IR\*HinStejekW&hkZE/S ]HhK{(u끚d 7ZStLÞ!GG&^  (XvCaܡQ閴>!dL:%c*`ȿǪf?L ¬S&^@<טNlU½l܄L!U_50)oP٤70ĆIaGe~G:XnV3%:8Bcɯv>)wh粣ۡW 8O6_ o<tmC,c*+aS#pC,yءm.{JX2뛈2/+sZlph剘CI> jǚ SyBR.bP{2 >M. ?~~m$KLraS}t4\/^@rwA2j+ .gYZ8b3b28cc1cd637aaf9af2a5b260605d73eec71f36c60686a775c17b128fd9cd71424693ae23fa627 4ff4ab262683e151508a9833c0dc0c10d1ef6532 80471069f2c44ce5bfd043de38dc35abf5b77c3fc6928a594f9e8a5a9eccc8dba30f999ece788704