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  # #R% d,t ]w]Sepref_Basic:threads=4elapsed=25.256cpu=56.456gc=2.060factor=2.247zXZִF! .|]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wb^1䒜ʪ3b맆 8˱#ɱ&C){[DU{2!roC_Hlo01i^^.4eNoHZgmKz :TmfTg N@\͖sA0(ͶZP3 o&xE4 $< ]2b.JN2k lWm x2}Q[Kv} DŽa^ygS}SAOK\AçTAš4ßaсX ^lGpߪܛMH\2Fi{[7bk\lAvCdoaﲀU?[Dݑh;ٝ3bIgvkx4INTks@%g4,#>4 ڰ\-MSFقX+(FInaJ$}ޢJVT^].^ȄcA'pO_s$("6[L5]I$rj+~\9XASp<²ӔJf\ Dc*|6=] % Sepref_Basic  YÅ{܎U3~)MRly.2Дq /GCLP J[gjpu_ʲGDH4]*݋Akyǟn0FpuUz5m6Hd16N_[p;CsV٠M"7O&$U5:fPpMU :o! B-@6%,1PaӟUp< 5Ìl"&Dp/MTmݍ`ZG0T֑@mCMP4*.ix]0V;c͊8ϗeR%o9kd5ER5@o 5H@5ab,tZj bnV+H?5 -EZw64OQ֞2c[T p ^bOF@s-t ErL:@W&v}=X&rR #1,LmDgW7 X`=LHwk$H8oE6?`*b >.TRCnyHō``evD&  {RɒXI(x50Bd&Kf]5vM` d{b6~b/w|H] \gCjgYZ7zXZִF! SM]ŗXiɟi%3( d+%jh @QNn뫘|4Me>T̢RsAþ/,3QOHR +1Hl1 A6=P}D7%.>G:DK^Yvz?g_#߲qHDJ·;Uݡ9={S2Fuf$Q7rR ޽bfUCņoNzB8.a gYZ7zXZִF! 3]ŗXi%GN()w>Əl Dx _BW~&, T" "WG@?S޿Bے9^S4ΦsKC.Y/pFG›[ɽvG!\Go6`y ?4zԆasR._z% l敶ʷñs UDЈܣ7 OWĪeM~.\\Ťw:D:M'':dVn% 5wxQT$}zFܱY3qrzL;.Z29LP>2tzv^|V|Φ ?&2I\W a_5*cKQE}GUw?/ڮ l)Y^D>vE$sz:5)Ϧb駂rR=\/.5!HѹK;q@;$m\ _^džBa5h u#ZewOysvc'@">}>!(j~%Q"~q}j; Z)XU1nۖg:7bHҔrQePdUW.k_cc=喴FˉR];|eIxx=a~ Y$/΋j_2>yTv6RyJ8Mou^Gp"f(`|VhQ2hiڭ /uݰuIȴWK(|g˔i7L&a/`Q< r xX}#}y ,GESJM!r,TTg4cP^ ^0c-@3=T0R,G>[xpH L6&54JQmQl'zTVG$A ,gCWBmPzpXS]d_:Q}zzRVFN@!S~XI+a z|j+!VRDtQ",ޠ3Ke6|2:E8I3A'Nz2ᅳKGUʒoSծF.MNҞ^y0s51}2:Ȉ@ӓ gjJ;c߱\ +}tab~l1$#XΐZDB_2dwK [MNpxȢan{L`U:( uUߊR0[_)t/sy`FuL Hn%7Y|By=k2]>NS2`8xx-a0Fe~y&gU0:̏Թd iL@FˆuW;<6M!:U4Ԋ.gYZ9a48fad175c00eb38eead0207398a42d2efc37794b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed a2058b128332dad2a492d1f1c6eea174b5b009d0 e727745b450f31aea5a8a4a505bb1d5c83b48514 f01682268e84383e338acfed760d76ab3ffb72cfa4cac146c3999f6aeeeeb1ad14c64575875422c2