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  J`4S7#?[֜F"BV!&164w|\6X'2fUF#T§דx/رgYZ7zXZִF! KSS]ŗXi%G ZI5Ql- 7Wqߖ=6 D;~JQ<SvA;BDx2~9*qQM<|#~r ~ ^\_Hux942ڭK1) &dMK=CK {t\N aȰ H+QNb)iUeI&w~1QoMS.]j9Os. BFjl ʋ!5Sm TjAs`kO;K8,ptSCP=ԠN錳UC騜Mvց hsQ0 ӜAFziQh 5y/''b9Xhֆ*c1x:槏=-Q+Vg}M | o0,D]x A"+aHoy_UB[Q~ &QN;K ('$;iaoePђdwHt6^H1B}J{-9eeׇP>aڑU6YRlsyOw) L=bt, mCy?s*Z|Xiar0~[yqed5u2qA>Y詌aCW|8Mp}f q姟4Dc]s[pP~һRڴ;xXbB{] ~kb4 gsvq ɶM1 lW/>ؔa sӳl#2ZMVEd!QB@ݒsys2*JL&ʗ Ye P_5ob,.ՊCRr=ִ! nAk utAp ֯γNz(75*D6.v- M< ut6d/T?b R#\GtĒ rnIͺa >NAX?yyxqS\#V DSe% G2p='u#k D@*o`'lY3r+"=۔4Y,+@X4=0vB)ZeaL&y2~CHr_& EUKK*0&Еdb43GRhR`Z=nwhPW%җDn;+9.b|8Y|dL "t㢧_`LULi5.ܖS 'yVI>ph["GǀuLǒ |𠂔&Q)ѣlőBgȤl+<Ň_ "Nƪ0q*^D_ ԖD'gYZ95d6c1a168d4f2f0143f1e44f8263ea56e83d0e478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065   Bernoulli