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 aA |< ] Regex_Equivalence_Examples:threads=2elapsed=12.732cpu=25.156gc=0.360factor=1.987zXZִF! B6]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ [ֆkU$%A>Z@mI >1bhѓP RB;$|̬Q*W?Ӳ# ǔQ^@`3XLpɻ`ZxБ )&h-% MO2i2hparzW5xD"À@:23@4]WhC+@m]`?$M ؽgYZ7zXZִF! ]ŗXiɟ?NX)K/Wx2~*vG vk-PSrTo{ݫB$et)\ V Nc"+#$a,f KULahgYZ7zXZִF! = ]ŗXi%93<<:TX kB}Nh΃ ![%AG O;}} YS8} Ky;A)PH!s쏝JY)cY:\frzcJ4v:[XmJB,J_ Z+811C j)`$MPx)tWl$p1=Jn M<}OP Eî;.$IiOD yP P Q22&En{Y = @`]({-{>~qEjcn'س)Zr'R+kςv2BԚF%]Dٹ9 ] TɎ'd57[Xf㊈)5.k0[w C58.Bjm?eb1%ۄG.&G@[QN{|#%݃fSɓ t'aƥt FPiЃN}a!xقK%]ƋZ) +ZI,qv]rޕ?H37Ga|A~;[ҡ|7A麑z_<1)(eшXy}ePJP`$opͿsQTF地296#&F ] }'Y1rܞ2{x$9DŽ_d-X[k6 54:< ibX`(Wg% b.;O)@4{SxN%M\=xcGlU‹B1/0e-W+6>b/lE5*4#בy4Tl5iБlJε-IZlA(IzvQxz~HgYZd6e13ed818d970fd7781008ca0bf72217384a8b8a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 0484d56816fd3a998a409820a665dd2a850d042b A Regex_Equivalence_Examples