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   s $l ] Trie:threads=2elapsed=21.382cpu=23.576gc=1.036factor=1.107zXZִF! {]ŗXf1-/6vR[ltǧT3(O"?MVWURR kkpÿHZxW̕?袳 K:c U* (kô`Ew=zcl^~eh) b&jO=kxdK2lrQ $Pm'e9gYZ7zXZִF! |M]ŗXiɟl٢ :}*Q#AwC:) g~"a[/JܴzqP?H?i}Dh }YZ7zXZִF! p0]ŗXi%ή++\lDҟHa+b Q"O4L&[Gu?s+$J~E9.  #8#^rMl߅oԽ W=D:?lب%aHڴuOq HG8Gx-LdZ<]Z^;;meh~ HUpѠu:='"l H `)ǸsQRxo#N>v[ڵ`Uoe|09 6Jxy? % AkW@.j!zw3foWTP|Y :n1k>g6y-K-$/2R^yd/!RTI2-Owv7b"]GHR2atEoL@QTA ړkGP31u SL9Q޶%,'J6'ui5aNLuG\(U a} t!\DUĊ`v6bl碧 UiHK=ﺡ'DžMhea mtwxͣ2f\B$6DzXFdBq82ѧMX u?`CN δ-R'n<8ꎠ|[ed#LzOzHH#;eJ2:.4 к$s|ɻ3(?5r'o9lJD{߾(VCia,'F!0w,,6--"h\WG>Ty8fpd]'&sLk% uQӧ}F%k~RnƩա3+F0YIBqܒ@p$85h0]di!UX!] Jb?LnDr+Agqa9ևfLT]h wk̮uW|7Bapc!{uiWVoeWI5?ł֘6s 4ʄ=LE՝, SЁW~0w v<(t. gYZ5a1ecaa1044a5a586d36954676c0ac67901cfeb800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c  Trie