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 t; \d ]% Special_Function_Bounds:threads=4elapsed=29.663cpu=79.072gc=1.472factor=2.677zXZִF! \]ŗXf[&R7=u㢸GOFWwbYNXa暸hV5N knrE7,yv%oT__Izk~#Upp |7~Ocx fxNݱh2S&^8>'Jv<칫"Ӕ>3iL[ !ߥ}V2]zɇeYM/!uQ 7H`6Q j˰\n!Kċ^][$#A;khZ#4؝z'Np21c5"`Im۸-M8a6 @Kk@rԚK ; Special_Function_Bounds  djsGOs}soD"!^˶x%ZOnS{QȮ9_d~œ*櫲a[~"&:K 8juLIN˻^Fdv/č<2ٛ )fẌw]3$=YazJϮ]0f^Ay{‰%keMVFPWY^9Jv-zigo\gIt[ y3:eQ"Y^נpMլ(BD4D1ZTpUSvГRi6CX:v4gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -ɹ31a/daԬMn.PTpPmώ4?--|D֕js^G71^{"Y>Y( ؊X|uf.^] bKyՙ5gYZ7zXZִF! ྯ ]ŗXi%L >WlGk^-q,_1 wMg +~ #*3ZӗtT\X=G_ltmz7m[r̃xOcVL2hqr{QT&дϵ CU|?`RJ3t[֘G8,a{ap1@{rTJB5^BT$X|ɶ%XhIXl} jgIKͳ;xCU=d5uߘS,$h͌!ƲG1SImFZLڠ<]o<pSF]>uǎ!zgƑ˺!3&lI ( fn![剭%elf~}EMa9q٣4Rj!Qms ?''$Yb^K\=k^p KU-:t0-LF!2HK~H,X7DvJbHX1ï\T-; IPb,#ˍ[3Lv'F)IKaokG#HM[+9z'!ZoX{^'yG `#u,zf3 ƈ/a& MMXT*'Dt؃ bbebmؾ_cxc"%<̓6SYHlEnW=j(uߛAK P.,\׭/!1zUc Ԉ>Rco@%IC {AMeĢ1 9^61ܡ$ևc~kKbي+͛0Pv9\cK~ elwL2ߓ7¢ D׭gH0ʟ+1ax,ma;\Ed~BKi@P}b%Y2yBJK_j&6i@|;:w@^^|Yw=m1}1lr8Ti ɍz#Tt( 2`&'!vK5@ 3~/0NOF|?+mPFR{[zx\[oQdc4xe+e,wq&i7A٪ ?cU,"*2cVWp̨qwU6L,Ё,g<>.XѠ3QhscO.\] Qrb :DÒJ]1^>jrc 2._3YŠ2UyϏS G~ $_nMu%,POqYu> I!Zf3 ILm,)#?Uo_FPv/eXycċdѷljOu9{Iyl1='D\O]V*]WB2uI24 fpYzpYpWLG(_!F@2rk 6ZDtAX3)4ӄgϜVֲl [sfnFWd W1?/T%-T~l$NnX ;s MOȔ(jU^frmɴ_lBN\i=,J.Bj͝^Mp7, {lna>F/Wm֯~S;eh2x~Թ3ܞuUb> EeA6;l\}\c~U+ 'B+tiX捶zX*46A| hHu,6*\w1"p]ڏw};@Ǽ8V{$uo*hſXXʅ..}9ѱgYZ5c3ca0b5484612f3b4fc81ca370ceac1cd77e2cdd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 c011df4b77a5301405447287ad162ad3171acdea