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   , ] pGCL:threads=4elapsed=21.925cpu=81.924gc=1.848factor=3.747zXZִF! $5]ŗXf[&.Ir?.kL|{Hk:D\SjoM.4povw}ҧV&JF{u{}|:@O  j3nkT͕[wL OƁ À UzN,o ȏUgZшtꝽ05Ybw:+yo8 v?֠lQnr PyOU3B̒Ñqߒ*ALuKJ!/r"spt6 Lt+J#; Hm zoCm)_5ُvy` $bAR1\:'SԽ-"'E? n R߫$h8C|q!m{  pGCL  r0ye6Nd@8e}ݔK}S2k`R?^{}n0ͽ"*4F3~;Cfw2ZFc_vvwLX}=}7V<;4tĘutN C>_BJ,%0 誗SJ}<;ONoi }(בgV4-) s9rnfp:KA'\J1x3,j@iWPoy`:6=.ưFlVȰ ԩ]00% ikMFk}j@Uf M閛rp\9=tqι})|f{椙r }ܠ6[errW{0Jl>ĜPWz FB_T$-;8њDf JSӖK?\"wT J)vuiA6x_Wb ^ݒpFϮEdZ_ws%8a~7;#"j80OpMxpf4 K^G-{c⟙2Y HgYZ7zXZִF! L]ŗXiɟ: e=o݆$!ЏkK>nUsk1ݲ=Hr PoW9FaE^qXn4IX1G^s7"~k@[:6>O s \ۗhոtD@ yah$2iOQӶ*"|%+)7$b 7!T>buE9@Ϡd0M٦`Q}0!Xu(AׁkE ?WGĜ݇Rj\kgz2-Ei Z0Bp^sZ\oN6⎧X` ~ITlOgw@j6w?3jBiq^ok">%|&+rPX;;: @~͒gYZ7zXZִF!  E]ŗXi%L ap@*ۜ7xռo c,;]˽Iad<߭gLݩ*8bN!AvlRC[AeQ,?z>4녙k5}2`SM ;/u#3J +qv -LB3T͍'ۑJ9SF"0¥KVeGwUϨNr`07b㼵0r-# ʬAzHsD.V8jeК&5 {(H& s!4`չ1T7DgY.v Qvs(ZY9 4ނcũh|L4- A@=uʵЏg_?$7a5sl*7Dn N *7׭<ͶpbK  y5f˃l'n*Q.˹𾗨^!JfM6 j{4}lUIk\t=@w;/-uJcA-5ݫe6?ˮ9z7J ˜BRho j#uB{hi:?غ"m"$8nT4bCʑUƧy8 ed[кgy^=ݤ9l9+Y%N6b;KG~cJ3 ڱ7od5* c:!NkA5I!,#4c2*x@Xl;!m`e F4>=e'o i ϩj8b_$T. 0VvXa_J6jbnvhs<"֜Ps@wNNo>iPrIJ`r zq<8#08FWf^~,t` ǃ㉬we/7`sί`(~!!\zEvBGv><L/pc9 )[T+k|F+9iKDΪH}6}dbɣ*.ze K2 dوj1e;wZmWeLF}\ 3_n,z N(:T&:}$w!>*b*)B] VN'@Q9mfgnL'-N; l u`%q^Lg*_dO7 g[^3)γ4vd@!WX:W /M#Du,Q@Yߢ>7kHCn%YNCr/;(Bڴgd1IZ.֙ 78Ge s&5{5Tt8%/س&Eas*IF8w͛%KJ-]UB%t%foֱ?x!5i&.±Le>@C9^G蚇_||6N>?1EJ*]#) ޾m`-krl6< UMEHu%Y8iz (^;#YY?fA<*o7}uA$f.(ବ .1 ?,q"{mq!ej3{H52):"6V 7I :_:Kyq>rVU`'D#b %Km% ş^?1ŞW9>GO,Tva4<هon'KX8UJ[dF >_4r[=r,XtRSS_Gλm퓠gYZ9825dd6533a2d05857d66b9703e6622c33d3cf1cd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834