SQLite format 3@ . BBh77otableisabelle_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  E E07\,< ]/ ComponentDependencies:threads=2elapsed=72.839cpu=135.204gc=5.916factor=1.867zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyxTE\&B -eLr6\,yBuD8`'!,=,&[&Di?Cֽx~ <GɽFi越(2}Sg33p*4w:wzF47v :.sJ Xˆ#OU,\~<%"Î/tťs.~Za\O\Ŵ i͠Zra/Œ qQ߄&pۦȾc߂_]+VD2~)rx%VD5VWvE j-E{HG==X)(J=.U$.ם(#z1vvf/g0}a+RsEgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B^|Ӷ QAќ[VčQBfC52NJuEz?YtP 4nx pU0뎬@DtgYZ7zXZִF! ]~]ŗXi%923{N'Og"&,_( x  7 ComponentDependenciess! 7I`/Yq&31[i:t^Ȫ=>PKe9qr> \kG4kjosB(P7hxitsĽ)0U`dVsWB.}WǮ3/[bXi$J?+;~7C`3 ^-O#pV0@iIn_%>=)RXmr>d~@8dwʪzn] gYG^-lT' yɫP!HLzF!KRCUWuNe'h֊b>NVp^QNR9#絢.[5P$/q;~Tz_zI{%ݸʣ&bݬϜ.d=;DDbW+'E-4eP3WCl^P|^ Y?xKD]+\qbq@6 KtsBLr4<:apU* 5ٹ ~,}|S ?H(_P2݇o޽  #Y~h7@oB? CX`Kfҿ F]1E'1H& bOKD~}#?0sJaC L`*#}>}(浐U\>9 ˯]G5qX4:ZȬh.$GV0d.*Ey1j }/gcruU \dPuM,#&Jn#: mst[ Z8+]If͙A >,cqA}@Lne7VxoWQ le/?kr%-8!Frw$(R9fI*qq˯nF^H^mAI{`v٨L&rX9%dyR{ZuMbU@ZY y' .JΗi4MRDQh16ZwxrE$O-Nd-xb ֤facgd u zr7776ʀ4H Bc hG'Dh37,/uoXs'٨2IE?HHM,țgYZ5042272ecec30f3a872b07e27090551f868d15b8fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a