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   X+| $ ]S]Sturm_Sequences:threads=4elapsed=35.099cpu=116.044gc=1.560factor=3.317zXZִF! $2v]ŗXf[&R;~e3_eF dtA:'gh~{gE'>Heo iX@)}0ISUD20kρ@j_zM&XތX#o3\] βlk]FY <$7jĻy]s 1=̇!~jF܊KI :CniM&mq9cNd-ZG䮯ӭ̡EirQZ?O#0Bt9qҗy {B 5WvI,60ԟ-_ <@ :nJ9U)qцO'jf&FUW|l));/uCV_;}[}{| 2)ճKH3#KzyIIK7s҄@ "Mvvr<+I)uK_O,&ۤG i8suzYfdD4E7-]eWsQO@*'<25\a I︘$ #"dL=mh& dў`6 + Sturm_Sequences  svjC3y$PwóK>j }V ~gCK L ߏÄ-?ž|j;v3X"#w?~Q]q_'BVF1؛T96m[I-EPHwW~v'$lNTg {L%Gr+F&k{2(oUA%^;qX!%<Uf):MɵD ~"Y؛%J6وQ_W,aTHPgYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ na9Jf68~e<$RU>8^SnýhN1I\*%{<a@Ģ6hz֩ԌFQ(ȶ%6cl->G8h- ي3Ϯ >kMr19j=lu 2fCOFq¾ wKۂ2ȧ Ȇ(=A/f֦ hqLBwoհW v|#~*k[9$_N|Y'[V <ѓߖ*{GY7>ؾ 4QT;CRo ,yWNp0l a\Œ9811R6%&Yu hp\ ك⎧GB U&+7lq`<%;:ٟ5z^= ˵=>!O)ܱߜm2CH:A ~L\paJ`Է"ir&] ħCm,'C@Me?@& D8#+c+5u?H-e2B5|.i"kv5ՀGu\JeҗjBg)O 1er|tgK@$OD(K7s+ZeLIMd5.#z!5_kp3&PMMh`! 4ӥwk=߸lbN~jZe#V^ k4VsuIBh^MZڂubh>D*?ݴv$dqÕ]K6~!RɨK9s0T7ߜ]]8~.,g陖lݢ ޒa1Ǭ݌h_ -Cdg[7`>a~.==o5^E3J:0ڕ Jc!1>L6J_f%_^QF9{ y6=X?wЏjzoI "P8VQʆ**V$&BK q=-NIjPR6+Ye}Бqoj.׀~z|@Ak'G5,!6g( nj"$dٓI'a3q`Lڨ@ /w7fTkg6q*Aa5-kSc,t:GSNLR6I7v,QJk\ zݻazJ!8N=dvh{uC&ěXFc_zF폵Uti>&rTS^P41mf` ^[=YFJH=c5āo&~D]v'5ŞȌ֊ځ{5_)^(ovL&h`DY[G:ĠIָT1#k 'vw?Z.p ,lgQ'T|1&{˻2 9 >HskU mqf9" slJ}kp@MCn@ Ԑx䙔 IN\oYQfN_fzbpZt4<} y гN& DӃ& Cgt au?ad8'h[hP&cv݆#=+%>^n+FIC8c7.l;KwWmn=aўf|"2bP$\9UbHz{ Idy55E'˱a qRijgP1̒cғ2ZsKZy!+kW(6JjL*rV]GmԽ,a.r 'Dz:E)Co-t-1-c%.bG[5:yKRWO*օ LD-ڞyuXTnry}pT[]_֡q(%t. 'e!MK|Rv9?a&} _̰0]gz4C3{Z 7|O5`TvSeN9ѓC@؉r[AugYZ4402ef563da7ca2890433260d18c1aaba6bf17c71795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108faec5da33af7eccf19413c9a9cf2ed72f9b562856d5