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 BB;1 D ]% Stream_Fusion_Code:threads=2elapsed=17.116cpu=31.580gc=1.608factor=1.857zXZִF! #]ŗXf1-/6vR[]`^O㍌GσCU,,#DFmTD("4{'}NyJMXXpgK&"~$Jw>+ =x7-V:r(1֝VQ*LMڅ6$ZKST%^Oa.wJI!Ã1 M>r67|Ija ë N`ѓ0x=DL"矒IaPV=\2|B)~jz٣ sa֘oMrhcova2Lfܥܒ\rI+qժc!*_p0˩_Yp ЙXp}-=SH`WaDLFH<ƠtŠ5]}obǷ6$KTpEG׸o\{+_!|2yeЃC"<>nYM ;ݠ mx$6R1!>՘w9gR>P n "{<'/6.dL&KLGNF4gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+cx8ڲ 0TNmyvu15O|VeE@p*x57ۤ|JAW$nj$Ea\GVkVKvp'gYZ7zXZִF! eX]ŗXi%>g`_\c~e9uiE2!m,WEq M0^@o̰^JU 1y}ZΣg`.~im@I"?4إ 920E[! D<i/sD&!4^ 0e*rΝ95sgu SɭTq JN Z 0hNꈱ911@訶%rO= c8gN $RVNEJaJ'*G%Qn[IqBnK~kV< Ȝ)P(:m͙7d!Ny1N.+Ÿ>lr 2 6ڕj(Y%PK [iȁE@ꞪH>؃v[8m d!6j+JOLPNb Tx|e'Mj)jlEcLzDw yDhe ɬ{bs΄/E|~S= Fˡe'RĄDbeH-6sw.S pydd,kn~GkZi[#:|5 4 >Ӳ'.K0C+VKp~\a= 3v{$>~#.fqlnK]w7 Y C≣Bמ|APA >=a%{lNo^&e\r9kY*2*6aS) ʦ-hm-MF3y# qn HA(HPE!㽗fQ?A#I1q_MeqHM'a]PZUIpɄ }D\>lWSAwL7, [suw~\.\!qTz©Ӂ 5ꙷ^F2B!۱|v[K7/nuY`K~Ѝh$1ivہktp)}E:dHA3(fSE91lh3~gj4P&&Zѻx0E&w&ZS>˓[͔G\sW0[(fd ˕X6Wv6 Zrj <`Ǭ֪ zUb[# ܗPfW?c@*H5MJȞi{6BH,2,,8cYRg9O=~vWg6*k6N](l0 %qd;1n'  +qNzsKdRaӖ6j6\W-CWm/_oWTQ=:,`u"^QQ+u8z~γh`A#}Z $?IG~}`~O`;~ +gYZccc43c24ff7d7ae084c3b36e36273097ab6dae25a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 b4c93acc40f5e8c39f04539e583227ba88e792ec 1 Stream_Fusion_Code