SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 J),l w Chord_Segments:threads=2elapsed=7.560cpu=9.712gc=0.164factor=1.287zXZִF ) Chord_Segments! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH'2hQJ>*:8.1̵F_&뜐ʪTAd"ƾmv0^Q:3s1(EjN~&&k4.7iJ_9+c,5[} fƒVG&3$}xw{*hv.+5(~A4~;W c @0hudtmɊ+- f`ӽ%vEi'ioy@NЦ/JNUnГu-IK'f Y S=Q, Kul/' ah^cxu;a=r@'{<Ьn`I AOѺF?׿ƴkʪ*)?{|L-?R?FufH`jR0^Ta=wvx'Ԏql'Җź@yV9ߘjŵ$ڲ(%﷨0D~w'K)ݸ‡#|=CgYZ7zXZִF! .-]ŗXi%HW\Ҷ$Q8G;/y6feP:pwoׁ [5<p7l4mW6o=,5褍 +q9tᤱ21 b-5:d&f^jHL9e+ KqdJE}~E,g-kRB|@MZ7,87=-"C^)M`L#٠^nҏݝN^|Kم,[vjFwIL|B~}C1_$BD:q__p,7Jb#UH+WZ£:o§FOm^B4wj7QruM2L $AFk%k-Ddx{h@`PL!v;7G7!#Ћ-;Q)ɲ> 2-oZr_bj!(}=ot۩Q.'yZO㟕+v ]1B ݢD'r,<{)e\Y+2#)- K;d~ԠtmKRCJGBMV]lYEPO ²\މ'+2)$^BdUXvqv#`su\Pr!YfBg~A^`%|#9 t4O/864ibl뤻Q-].sHgc.'dk~zd4`T]xgYZ34c9873997d079517ca2706eaa4aa4b8f33241c9 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 79350daa9ca6a5dc1b4127c0474db63d723d6da0 7d1762fa12a846cec12667e1e924d8bb943b2c42 eef6746d770fc46fae6b447c1dfca49114beab208c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487