SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   i5$T ]]Amortized_Complexity:threads=8elapsed=27.336cpu=182.010gc=13.920factor=6.667zXZִF! v I]ŗXf[&R=P"ՙxzВ/se싡TH9`>"8\hr"O՛Q-ZϺ/6$2 x| xkj$ Id f⡠24_:Co=M|͆#0iWcF[۲ |ulSK:PW&{hzii:wl z{~^K0F@H]IP! V[̽oet{j*ʵ.a>jc^(Zvk"1ؕ9^ĺQ}[$c=^k~n\}2ݝ!ߩ_C|0Cha Fk,>58)2F'd-8*m`I2GvTG- Ϻr(w':8%G9Նjεs}ZH`۫GA9?||`&Dc m@(L}tx]qU_:;OUm0*fB`lO e\Y KG,szf |!-lX6KmV)泣 z|{Ks*[2/Q@"C:e*JlMS6;d㲋Fפj{Ths-7{J @(޴7@a\E(oq>|dG8T!-%hm.ț1νY2mgZ4Å=du!,܁z⓼Hr6ga,9~9Z9 |aUj{mhA[|`jWTQ 0Im~sN`,3|\#?)\7v `Gzu:@y\j$bf'B˯R|'wqe."$(fġ)| *DlP4 a ]W7xf$X|RXg:&J:J" H\Wi+ݯ_ UaҮf] 6(]o@d;€SNUZ8`zIJ)/EFjK&Z;c4?1@"VmK/dyL0Co(s6EJ)986Q[k O:*^u8U\NY\qO 5ɤd#G)qpqfs;!Ro9sa@yb0TiO6 IT,\Ic$c5F:{BW$OYߏW7||I+SmF@ڴMPĕYP5Y8:Lћp|;`z}d88Q!WIJG~5=K+"`.| N5'Y}!U"pkú*lu*HH850x+%vq3Ų (h^ ΣroflY 0f !gײ.ȋOU@܏Q0\+:a»`/rsi:RI>dM6*,6 Zp^z"uvis} |dU0]2Xza}{b,}P͚ 1N&j9%dIN4r+] `9/L^~aۿч&i yk13ڣ &x<([ѽI0"cżqxovrOja36qK'=W}0  y2̄wjxk2Xt4;"tgwd jHF1eqx搰 "W 5 Amortized_Complexity  7rX%8`} i[򻶴ɯԋ2tYAr4bh0 ?@jPe~I򂥗EkD-{5nl3n y ٚ*쳤9ƠX HTx+:uc"4rQJe fۗ.6QѼi6sbeWdŊv9#,qE&OoOxgYZ7zXZִF! zd]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻W#Nۨ/J3RPY ,oVH\`\t`ơcEkJo?yBПːs{rf#23X۟g1f70aig_AmOb/#~M?;LWipeL EjIjFNpI֎嵳w֋_S[Vo_?}FgY&l~M{-I#j|X}k|ßDzO[Pͤ3 GclO|VrN ,VMoc#rA4|'7jrÈBrf8P¢ m3KXf+^H:DL3`E"уm@YU_bqջ1%2A/O#1Ylǿsͩ[gYZ7zXZִF! E]ŗXi%>t{ognnn`acv춲=7E@cpe KDaMGt@-.tج 3dInT7.gXMǮqƎ ѺH>jЇNCK|Gy YV%߱bVҏ$*&R("Yv v@ФE%Q`iqdlH՞]wV;nvդy5UN aMjİx"2BtR>?4(MKb^M+L00`''{s3h0^"R1)=$m5An) ϶eU-bLU Fpgg?ՠ{iPj #z$`;ƟǠ7 2Xlb" ZE)²CNI0c =]U_ktMs弁LÃjfc:tX_*6dlHݙ BN_+=l۫v$LɑDN+;=ANcynx: 9-c]Xa&JK glZĐ_qHѵLS+'$U⟂Emv2w4;3K{t]yV"Рd-Ҙڪhte3c<"j歀ApqKU%k&J@#h9nJǩzdn8Q%1xt¶v9CMn<44%r?6 ;Am* iASAI%z ;4 xv`GɮgWKٷ lGAboG^,":ÍCA?CZa'e):&/SL׏95Z't LS\0:msZ0.ᙲ(-551T ;JE8 bVFZa.M@!+. Z׿VM_Gwd)B&:ܠ-2]y]X )m.%29!