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 / 5qTeWnP!sDx'X&| \8NB”Y r΋_Sw"a㠌 l6g?C-wF6\T>.Q4`" [bX'qGW8̆BG_'pF3SlwЊxxgju`jd]$Mpgπ4zSiqbelpi$K[0-H_ =XJ4k7ANfy?xSzPePԶ(AMҽ ccŦ=0F.$hAN'wx2  ROBDD  ĵ{ Dm\>/y@  -??+7 N/4 OG ~TAo|'ظMȜZHGd,8'vj!n6K9R RsX**E;3G:٧5ᇝ,6v7F|̦ >@2rvgEUpF,(uc L`5d[m-ᷮN2+k&Z@o22F"Qh JY6?Sڨa>'!ow'0Z( }mAUX%$MK̜śĤyF3ߌ4Q{X֖]"'&C.k˧8c}$+4/jiqœƪ.D=6Y1H%WkXgUUC:!0ޅ>CB ^+̦$of{1g/EӨo+!v Fb. k+0j]t Hu>L+uTD@pres;1}6ǛJDGS^1جĩ$JB|/`˂Ĵ#ɀ1L`dE͍ db"R!fs ^%0K7d ƅ]6(?s/90-6 J2 +J{p9T;t՜DԱgYZ7zXZִF! G]ŗXiɟ@l hkڊv %][aq!I!w!x۬ϲ]K1L0LA-&XI Y  iOmLbEk$I4\D>|*\<2uW_ံSS3tLqdY0ؽUݤTP^.mdJwGQ:86h@d9z>v3z-mTB w6_O:䑓s5biȔlgYZ7zXZִF!  ]ŗXi%B8]y;([#bV#ۑSҁ͹NCrS27 C !-ޠҪA={-1 mhl褠@O{m~d6'k(`Z( `P"\~oy]^| YTN.g>xQX?&11[WU]Evq;LJL KP3c;\q`{a?#DXw`B},+)"9Dmϛ43Hog4Fuui(b.Ae)Q pݫ-j*Ĭ6LOar[-r6͗DM̤P!9w0a&Pn>U6]KAu(+fK@D*fi Ĺf/\ 0/hі!+'}eZuX|{[g竸€XrD"cE AŢh/l|gQJժq9XYD!nC Z q'^}8 &3>~GτiP&XP<~i2eq@Wp;?Mp]uh*-:Jx1nbⶵ=Ixۜ&.0%xf'{x%Nv]'?iѿRj~ylK2@ yڜkkyQ݇?mԎJ]i ۭ+:|j,`7oF+C"(ɢ%Qm@I#,Qsv̛%>~ 6F^d#(VRXV r` g|CbQ *k}WRGFg#z-m2m Moڑ̟{vō&%a8#sgϣSIpϥaZECL9vNťIEKNqH{ʞ7_J!yᵼԿF12<(k4)YD`)`jnh{>k;nma<0I3qڿa4Yd4ub"oSyI*6ؚcLx^f1zA*Wa+Qz]g؈?nΘKf/Q)DK5ce Įpܼ2Dj. MZ*8noYHOHa4gr:0}O #$@QbU7U{]x*[p~]"Ygu_elaL[pPU{1{ςr*,;@@6`:Q\o "&PIL`37o6c Ic#ִm`=x*zOR[oCd+fhx@%1u]Nkr|sgYZ02ab3188dcf06a209247ae9ad440fe6ac137b0c2ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2 ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a 9c98d8ec469fa30c047d304abfcb6470a56ad01c b698e3263c6d0352d0cf4c4e12652c62d3800203