SQLite format 3@ .;  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 SS* 4 L ]/]CRDT:threads=4elapsed=15.857cpu=60.020gc=2.640factor=3.797zXZִF! !Q]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X^r4rx]_)yg9F#tk'L@J^T@q2˩{ ~'BHt-|ʗ\d ^䰧IUbng9i3iwNL/oj-6'(2<$?WU#SX@H[iPRZ,g\4 XDF)Y`(KK6:srt2ыo'TXm|Q_C]ccB)5D;S'l^:I8֝Z{8<`p: {J0F΄O!sMsb#7ƀ4;P`ަM)L}OIϾڕg H~uڒ; JC:Da[ S=w"5֧ {*'u^@Ӣ5ѿaG!D6TWH'I!R=j%.pC2hBYCu Y=;Xz-6#Y0/E/Z ^W#2Υ4;Q`G| C&|*wrT@\~ >x p͊7|"U,iT5(wm$q'.|w&O$QmTFgdA ͬEhok9rK[ 3PPŅpq3Ljڝ}I'7vFաi)Ԓ/)k=xPjжW\E# k/ Й>In12C] gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLZ H2}b&&r}.N  )є7 ňi!W~~; ěd"l%p1vc򕤊QfӴ z |7h#cNBZ Lk;&`^ W춥¨ed$;Z㈻b jK>J46 2Wm1P'7)Oow J&Rg[_ڥ TpK^4RX;{[_l`k _&D D$a mE#e oXl~g36Kny%*S'Whw_/_#i zTΨO*%% |GϥBWjmȘFӌUAaKp~c7ŖiwNenQT-^EmgJAު[/޸Ԡ^_Δ^E7[){@6?Yw^{˪&J"~Z]Ṭ)]OpfHٴm[bd&V|F-*}GPYٰynRCa r$AwpMO| Ks.ips ت>lf"|49Wͩ*Y:݆XubW5Q񐟊4pԳCDY9?V ~aħʎϦ4ca aּS`P"hA\D<ە0(,%ݜ)|g6u:Cr5LCeBAU0P1fig@>wdWu6}8>W(Ea!>gNN k~ѽA4GTq܏eIoіPւg0Pa>A&K3{c`BӢ_e[aM,KkxJ!:1uŠ!wû{X/$ӏϘ00LZs̃[yV@p9'"pPePU٠"ռ_}/H/NHV㵀.2u{NxG$rj26|crQ%ITVIv;8r"E]i? 9lU> =#FfAYvb@PAM},lhVNT2Ҿ%ʭLTƪ}u@VBʤ`"sy,Ns2GǬAG?w*N(xO/$ϊD#4Uu%7+-o߿865ϏJVo:;8Qnb;t>vb]6#m/5CȕYj;wWmIҳړ"v jX:^CEM;!f|2.qo #)/E,MA!$-o0o/ ĕRJ"%Wה&#W|Bʼi\g}D{;=>8h&ӟ"rbL>)\T Ov$>SRzflGdزǏܗ 8K#yNW2J!Nvnf (5 єV8J(f~XorSV 0Rb=7ۄ֓*Qo_O5j^,ޫ顛Řė J.@w._F ɌX0F~ͩGq(QObp2+֏{c_rBbtTդ!DcX,eo&oZ~bi: 4@!>.@,TryTyh{ͶRܠݨ,=ދ3bi00@9N nBTq,8¡Fm'raϕp 3U}ScF-1L{@ID(TVFI6InLVAZ=,ؖ(gYZ948479ec2e94928491aa03f45c178d967b34e109d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a67732edd41a394a7f6a87a78e53955caa368ea5829be  CRDT