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 IOA-ex:threads=2elapsed=0.714cpu=1.500gc=0.000factor=2.107zXZִF! g]ŗXf1-qN50^ (`/aшO@aMUs[eB:E3=&wv{Nlj|7C}7I8gYZ7zXZִF! N]ŗXiɟdNG#8 Wƕ)v3)/h0$`b|hk hj5u`7FD޾t DBnjfgYZ7zXZִF! x]ŗXi%;avcm2[u):Њuɯ] &ݙ}ھ$hm$JB)5?+,!6EJFvK|V|+a{b1BQV̺qԚ)i =)~aꨞ_,;p(*9hȔ3_ Ca#| iZ@}q\iXiJ5>iSՐǼA,nۯ}6mP4y[7^ݚp]Ć5\dn)GeKe=}5;K)+['&zCIAh @gGF}d ɾg%mIȗށS.{dhW Q̱gYZ0f8736e06a883ee7c7e4cf5e1a894e0e016ace6487932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa da1df807c20a0f9bc38603345a4d61586eb2851a 9524271c82dbdf58e771db389a57defb6f7d64a2   IOA-ex