SQLite format 3@ .0:  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 `-, ] HOL-SET_Protocol:threads=6elapsed=24.232cpu=108.744gc=2.404factor=4.497zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<un/T oh=FV~,ŝBR  hV\6A:&S #WdKS,Cԟ ;Rxû1eo,+)v<*!1dk\g+6~5]N `vy`Pc~4q0Dgݼ+  2/4B0 Zt%uuA{t쵅/d^xX*Mtj w}֓l^3 ~GQϐe - HOL-SET_Protocol  h`qac{wCf̉:ekF͙}GIdvBq<*R;wb&}I`fمf K{>79&2D 0da^z x,fbk .?vb(GxC׽Y> !-pc/rnBz>[z7[% gbC,.D&sD)kyܛ:EZkeH&oD05$M&9fb=[Vܡ_-bJؾL@3d^#Gm|)&)'5l,vir*d7<!gÅYӵ咱gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTuJ|"/ z,l3,E%:KM$m}4?EMi\ $VH_;1}_Wgp%R @9%n=yK{J2A:؂oiEfI:v@}TVbզ6̦EgYZ7zXZִF! p E]ŗXi%GA\92ۊ_}/wrQ`X/xl"KɉTɱ¾]wF球? ୁخ5 '^S#Z h|Lnkn!ĵ 'k6tV02{̑9:N.BȡӤ|![MpL"zOQ>擉#|5)NӗpZ#aW^e?#istc[Gf:>+D}&̸2j%6VcƟFr+!Чe{VYw  x.Z"<_*,×2h~O3\w"۶ `)|ގV ﻖ~ Pk*;r^PSܕ.xlb! Ph5(m}]3Wr4qD4}PܤGKیdD=HЧ Z)NT P}O$L)I2xT,oANUS/+Z*3 ZZzWuS'Wm?YqӣG"L5؆ll L"m\>T> `TO#{n+l:ʚT3o @a#Ǩ9-O U|<\IT^(pJtT"YԆ M$k|n"cn}6T5g.rǴ7Dpv:# GTb`3Ip5/-fS!QEw~n"C߷M27:i~)Rz:ޙ3/ 2pE?BGgRmV)p GXPVV4OdlVv3 ϑ#] ݬ$"F'7RL 5cn'|:sJ5ULϷsa^SC 4? :V fCJ5vv5>zJD82:NmO#"=hω)~YfsBMn6,KD9ܝ~o7Vg+&%Lj.i8&e#&Hۙ2,B8G [:tec=ӗ#bqLzE1ySHZ%*Pv8$~7E-Zm琋,+r{ )ar5;+/³FWc(_vVs,աgИbdȂh秎fhlT0 mШ9(\0)I?_أ?E_1nX!ﶉ0S3$p5]@`97'!1lq ࡧOlv"Fv!闏;NE{^!ͤmg; 6BVO;Fį"Z&R"(UuI&Vg-J>֡_fQ1.-Gp1^q7gs2q>+O6Yqε55lUr-@PiƑ3ۺT6𲠄B竒ĬZ2&&BOZ$z+ o*jֹBp´$'kK*P%#r>p~R]\ F4"lJ7T1^K1t͡\rNি,\i8iktyⵒnՓ͠&Q! Ɂ^,'yˏ(A8S3p\˩$m}MQwh*O.(LHUO(i6&0f `>LCW:|tgJ}^ B`01y_ZpNG]ҭO%L`QwfRVygYZb7882d30216fff5858427081ed372266166ed629f3782e60e56b1de215ee686052f461bb18c61005 ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33 cea65f62510c72c82894137cc6afc255458430a6