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 ?+ t| ]S]Sturm_Sequences:threads=4elapsed=29.101cpu=95.652gc=1.256factor=3.297zXZִF! ]ŗXf[&R;~e3_eF dtA:'gh~{gE'>E\GHd/ߖȏJ d4,I6bЯY޿/f mFa3|K.JnmB ~_Zqr#|Av59MsEfթ= CI7؎hF(5'2}u{m%1O+P<mS=ti04]ڠ_)q=BC( ?'v=opidpMQHmjURhjEcΓXZa[0R + Sturm_Sequences  ?M5З\/DpΆB`tPL/:#G fETM|}-NME hH6J!Zs b$7,z*!Wۃ&΄n2eڎ382/QK'By\le&H#hÞC"C  !ҩukz>zN?֌ZPcL ^XgLIT0r^^M,.XaTqϜ@[ݦ.2.&%Le q61~ux8 )OK&K|eޞ"cdko$3# zsma_&ըK%~+O9Jt߱gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ n&LX2 xn9a͊Qӯ0A~dvQ", "Hڿ RN :b5KDnCac%ָ;WYEVHt/$ϝgYZ7zXZִF! ]ŗXi%B:f]VCsKhhf+06nj^{ݱs#M0T(R~%Qʏh\}pk'&|5YR-[v$PMj iAN+tǰVh|8A9dA3~KGX1'D. Ad=N>^N;䕲 s;B]#u;I cBh,)˳H`n[z_{)tn?)B`P@<<5{ޤ.,eԮo,Qw3 I%$ {yLj:r^ez̥&IbNzh^f(4j(85dIm-O)Wk,Y~D^ w$zCA’F#9^2g?au9 x߉5Vasg I:gGfdm?~02`} N ա#>eֺEy@F D!&Pj! r,+~_m"/߄JJ^9Ybuxh)5엝n!M K@ z\N+.Yw4',2N /!,lmz "-)&з>rg+/hg#3+r_fqն$ 0cQ("M@ɪ#BKKgA_ԮbȯoM(Ҳ`nQccde#rVq//'ϐڇԘ L Fp%_YCh 5L9%fJUsDnЬ\UVQxb4Hcfn 2O%-_±Af-6>CO8%yyS[ʰTfۜ0U*-F0|<}S Ϳp7ղb) iɧSJ?B5 l3^ -2Nk[զe4--X]!~֟)l ZiNL>Eمpb藥|)%`+m0wiO2%Dx-j @yo"%\*7 Zum=#LsḌJ=*4 UC<.)/I~@R ?6'z[טI"i\%I)LV Č qK+t2x $GƋe6O& Ƨ&]8Da8wd4tM2n8^kugELNaf^E"[+™UbҢ@u49]Nx4ej7SeyV[)}oO6;QZo앸p=RzpJ5ٗtAcP5o롟#025f]R[ցIg0sP30DYuRo47PWG yK'7x[JT9#{o>crkMCqZe;veL\n;3#ly,Fz7B2`j%X3y2K #֙ݭ3FhT ^ܼQ,U]W5i2MlQi8-҆A:~f{OڰܙS$ _{,BXoG#r<3]$RZqT3\}T79!MXS! VcS ㌓AKUKR(=Bi)`S[ý;K$J7ÐszWTVI!" &>*Gǖ`VG t.+n4ތ|ۧcgb9TO81]X~⢯ %O~X67lO[P =I\orK=1*%}߁?T2JKLUHW*?gn]3ǸRzO"Q FgYZ8b0506c8b1c3b36f1ec445f67bedd7471d76382f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e23129af93c9b1c3fa5e2ee3c7ef76601c905a7c44790