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 b3 rcgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#zJܼYOU|n54=3@ԏ S)%Ft F(+@O?Lo8;q6aA SdBC9Ys:SJ]|hNWt9@ gYZ7zXZִF! D_]ŗXi%;cd`cR3kS)?J0yyR5xW|G>Z$'}qmpy+ rXgnQa^Nk_4P!GZ,d[rN"t:K^XgD$äh^i b&P}*cʺat?w )4ca@FT z+CG"|`|sr|T,)5\ճJp=>u ; 7G#-+f-E]u`0݌j2Wu-SA\AN2g}=Ýb>_J|+(_-ܖF3Hf1Y Wj)Mn3ͩG=>Lgf͐2Y2>PʽfR&έ7܁?,,`a!F %a#* ;Oc2QJ^+`WS a8\on~8S |a)f5‹71Lƶ)fb(/Ɛ{MlC vӸǯLS%d͟)|ޑj'T;+V(պIaw8ke@խb-ɶhR 'wT,Xp"hD+K@g!&o3VYqE,ߛAv`݌ z-ZT)W*b,rW9uđ}¸ճ=mE V8c#Rxb@x\E i7$U4z- kw7N[\ y>)CNoܳ$;#e;!d7)%sh 4 wkҙUqL|(J+i0MNp48#V{"oqdmDZĹgYZ5aa186aac4ce02fdcfc3510bafcd72c5113ec77579d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 3 Selection_Heap_Sort