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 f  ]S Real_Impl:threads=4elapsed=55.069cpu=145.396gc=4.052factor=2.647zXZִF! .@]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 l_Lw:5{=_, ڤw(&.pQQAhX A# 0Ⱦ=5eOeFEDAY'`AW'ITRN>&Uoux9C$JPCMΪKyb^1X~Wh !h 0<Ro7, F ٌzۂM*Pêۡ4jș΂Ѵ 8j25MNV c[R}]I&W|BK">|{vfERoIk7?Kp', nފ"?yz?&fwhum:`n^ CI;9<֙ݯRY"V$ڕk[vvt*+nr~UhNbB Ƨ$X@!}57.N>yr}>;Τ\љãj%G(c,94x][4,zEWr$X鏌],*ܫiYY@P=FK^ ]gYZ7zXZִF! A]ŗXiɟ|E\Ât+.*aphG)%uG%P0WyV h.$-M_0bI%`a}bgULj]" 'ݗ` ᵞ/^" GGxE#KO3bçOyFYjn#6 sbP(>3?_¨XgOJ7p{!)+K;7.`qY(.}OM$<T)=ĸJP-azL" 2$uxnc*e9Bn::%উ{d k*̍(L B}%J^K:sfKдz !qLj=~,舰m~nCh:̣ 2 Lߞv %i݈||CwBnonTm7:ā4lBNB? $ Jy'e)}w( ~wXmi}e9eyF Q1$Άj{zEWz2c*eXuof)XhaӃ12RU^њf|}5Z=苮"yl"ܾ؁kݞk @d'GF/chlET;s UZwM8򺮲)oЮDE 'm VÉ0< {mM4/ 4՝y:'!G#+Xjtl`?X[zȷ_eu ԇ^F 1J%?Z Ͱ;4"zXN   Real_Impl  w"BB?c/5 ٝ"鰊؄ܓJC,dT=Yi`QDG{d͗6 lo]ZP9? P IQA(sFʉ :Ympl`E-@ znȎ$lU.soJ ŚzR3/ݨ`@[TL~oZ_Gb&1D4[rt\p%ݖXXRlgyb%l*ps_(9;Pi(k4by' 1gi96<߆G +p:4q! ؎RDnдx̧u)SH7gàיrVveH(ռhv5[V$pE-qʰ%J6W`UJ :T Fk>77}Zo?ge6UlAؠsW Ә3B5(1-d4ٰt/761ygvW{̝r;>B$3 SۀN<I1fio@ @źoV~A&+=)CxgIn 2þ񑭙Y8ybU,W 3-X*;ޤuĀDOҞ$'~ l"hFBEun# 3Z݃O+@ߘ?L=w*fHio@yβ$ (ѱ-;}c^^+?.2%w[ (* sޞ]P;0 ?poCd6׷S"̛"I|Xc) 59IK^C"gxN4/~ҭw B|ԛH{Pbj31hBC_.{3 -u gsEWǾ zdf 9#hAm0 tʴOx(dk m84xQM 8t< uY/sIڐwAGTF ǫ+ w.Ϡ;門|J=Wfj,hImC'_H-凘ԭb ~UdF@s:]5jc%Y,CU"8 `MNaM i1R%{yhHNg FW8BLF[%B%e~w 2=Unl > KKGY"/D|@~ ihvXꟓ_7 Sم5nm @We{ךvIpu r'{_ %PC)pk)"iȚK=Rlb!4  ؊~7 ]neen<-aGAPI EsTc+&_C>3 h748eUxpGj·!#k}5ȏx3,-PM(}m:FxN.Kpx\,ɱ.Wx3z/(ex BM[-#׆zw9t-҆n&n8g^Hjr"17Ss/[ߩ }+3"gn] (̋%UpkZ[;k8\2!_