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 DD9O D4$ ]S Noninterference_Generic_Unwinding:threads=2elapsed=18.335cpu=20.364gc=0.296factor=1.117zXZִF! ]ŗXf1-/6vR[y(&j-:6h 3p#(^,B9 :D/#PJ|:qt`ЧϫJstg"}YZ7zXZִF! b]ŗXi%9(P<œ"$Bx 'Z1*:<3[gEdk%PZddz2RYM%G ! ][iB+-8YÉDz!D;) B\ HҙYQ&T璁iFflunQb=L,` ӤfG5z9َy:U#8&ڷm.)ny'Iߊ61,x5qA"P9<)Ux, wC"ٻAoĐb,TVFE/]z~ʍ4-[Ϩ5_i5'UW)GM ]M0Xr]0rFM4C+=k@88ƶ)Chvnm,i*#OMua~`$y?VxY'ICkq݌OYN0Z5bΎ<@I93 .< BU'|oیn-+cd Vf>T6 /xH^2(._g.a*i&CrڇRW wɻ?` ,n;~lSpy9N৶}F9FAԈԅ,x#n*$R1 QhS1~Fs h< fih) uJ_g//Y