SQLite format 3@ . BBh77otableisabelle_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 z7 4o.-ӊ);1yU ,tc +yM5?0xrT:"n4 j}qB3%GРzp 7N/vh 32{e*L YM\{YrWW]:/pȴOX&]6clc{!" û)̈Uڹ%8y$'XIJ,9gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP @M1oƿ6+0CՉ~~ƌiYnZ!M?wzi?K-?ܷsԏb? _=tc<%AQ2F0lq(NbVtF`+\~zMRHgyo-cǐMt<7,D)cMg-+Xc A\gYZ7zXZִF! Q]ŗXi%96}Ã߉aQf-Gz'&e|Rc+S -L!SH$P|Wfsha/7AX񻿒7F1Z%HLG]+pmv W;%nWDFFKWƙ ˥e\_\%AA|V%߼!+bɚ~ >1Si3XJ ^ e-8kS -.f+yjb)y>{©Ӆw,1+%^NpQr'm)$Ѓsneepe.7W7PHz L~n!}l4P{\)y\PHlwu>F\iZ i #r[ Ւ L\S* &YARmupi9͕KC;K!\m`:o&ppF2ؚBi TtΦߵ)ZcɴiT#|&֍j>S飙c?|Ʈ%3ئQV,Mk%k#Va< YDZvp Ƥro6-`%J9jL?خ5(0'() <7_+8Ur*@?9Od}iXju(1َQ &' j_nQhWQ_&Fv+˟88mPs)i^3^<[n֙[5_j쁢7@PHYBk>YByq.gr{jђď (.A|o fDwU%pQy8vVB}גiޑEoڥ[굄쯰GMـ JMZRpFs {|3"t,Mˌ/B>2Szb"K󱊿Kin`lr)*&G2i%vгW'-M;P,okיYwPIh C&b!8'={>ce,dcgl΢ЁP$L2w.w Z7iDUif@N 43GgG ';B} 8H`<0p!f 9xLk|4s 2TKRWTKlaD )hWTMRP~z (e1 unt-:kB0s<^UlqDHhj`K2׀D)aeU6,_選D֔ ku_bQ<'$Nw)wmKW@B;h?2S2VmlwuRtWɺrNJ?#|t>?|JYxyi&(x|H-sB,~ې$Ldt}ߟܟA*)ustF_*jb;ɝ]M{I7°"Y_`"]9h?Pgj7 EԁgYZ477a9264307691a6e4e6ea44c701161b0c5cb800ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 c93c98f7c27379200f4605dce1da2bb9c39019f1 2da9f6ca22277db835fabe1b7fc0237895e3cbc6 7 HOL-Quotient_Examples