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 ((U T,d ]/]UPF:threads=2elapsed=31.425cpu=60.480gc=2.628factor=1.927zXZִF! j]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zٱOe@C~nk3IWe "N"!֞ nr1א;}Sp+cխbOR8]$ Z|an44j@A{u..B9NS,Yhߒ $SDsg+JNK}عV`2il4%t5,G[)54ʚyJVHSѳD?iޏ&'d=ʔ dYx%7hIZ< 3+hOMvܾruMa7ĈtAeKpFLSSDsCcy mu<һ;;^vI@'zowA3\m-"\Nkx$|s`mŠi@.U䏾j$Z}$9eӴXkv}e'}MvT\ t*M7;?ׄ|3]Qփly;еLPIEۖj}|D3T ;?N&r* s)ߊ0אּgnYduRѨ0?ei6J+$Vף߈^" L V}\TEY\hSoӤhBIy#{;2(gYZ7zXZִF! ]ŗXiɟܤ#k0{/!sW5sP_}r9eٞ )ړbnh[*(S\_dc[{Ix%Q71C'Dhmђ&ߪy@g%q]g !d3mMQW7G 57VkXsP:a_L. 0 ґ9M ZAA0ЛB$ I#.S$Q[Х@W͝Vu:UO d,u۶gYZ7zXZִF! *]ŗXi%ή*۩!+NEvԆE2ԫfp 1L,|Vr^ MoOctĜؿ`A %ǞML! cuc>[$͎w2-H<滥Ԥ/Ľ ,,MHrO\,^uJZx##qG3X ^G_^:~~F e{X֫7Wnl׻(CR ? 堧mLMW7NY{-?j0^|}TRJ߃_^+&0~O"$_ : NdRۙXvGܡ</؂a&DCTo^AYhcDߪcnёF$uqJh]Mcd uΙ y}Qt^DZ6~ ]f|M+rc־.@MSaVZ܇6iYE+bQ7@)7O2vQ:)Blc5S#77ۀ-֗bԬ|s+IԠf7P #/3bwj߂RX(T؜ksEGuA^fߋp9Kd[Sq8} N).ۦuAcq#+ʭO\`(&|:>cQڨF?S@#v&<8"~F:EDUN>6y'|!ju)rF525 w<۾?߿?vؗR0D߽QA%*AbCc fL.f/8q^zO;y]`WiEma8zU!-)T'zS]Vо* /^Ih0;g ~2x ;F%WCA3J>LPj lS9Yx; 3K